YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078
     
     
Yurtseven.ORG
 Yurtseven.ORG
     
HOME host:users.dimi.uniud.it  Search for:  host:users.dimi.uniud.it
 
Sort by Sort by          Date Sort by       Alphabetical Sort by       Category Sort by

Showing  1 - 9  of total  9  results  [ 2.371  seconds ]  


 
   
   1 quotes  07-January-2012 
University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems.


     [similar pages] 


 
 2 - Chittaro, Luca Browse Website open in new window
   
   1 quotes  07-January-2012 
University of Udine - Knowledge-based systems (diagnosis, temporal reasoning, modeling of physical systems, qualitative reasoning) and human-computer interaction (desktop virtual reality, information visualization, 3d, multimedia and multimodal interf...


     [similar pages] 


 
   
   1 quotes  07-January-2012 
University of Udine - Real number computability, semantics of concurrency, lambda-calculus.


     [similar pages] 


 
   
   1 quotes  07-January-2012 
University of Udine - Autonomous robot control, behaviour-based planning, coordination among autonomus agents, self-organization in autonomous robotics.


     [similar pages] 


 
   
   1 quotes  07-January-2012 
University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in vision, artificial intelligence.


     [similar pages] 


 
 6 - Honsell, Furio Browse Website open in new window
   
   1 quotes  07-January-2012 
University of Udine - Lambda calculus; foundations, especially of informatics; type systems for OO languages; logical frameworks and formal verification of proofs, programs, and systems; semantics of programming languages and program logics; mathemati...


     [similar pages] 


 
   
   1 quotes  07-January-2012 
University of Udine - Logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory.


     [similar pages] 


 
 8 - Miculan, Marino Browse Website open in new window
   
   1 quotes  07-January-2012 
University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.


     [similar pages] 


 
 9 - Tasso, Carlo Browse Website open in new window
   
   1 quotes  07-January-2012 
University of Udine - Knowledge based system development, student modeling, user modeling, intelligent information retrieval, intelligent information filtering.


     [similar pages] 




Easy Web Admin


Add URL  |  My Sites  |  My Account  |  Login  |  Contact Us