1050 search results - page 145 / 210 » Towards programming for the non-technical |
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
ICIP
2001
IEEE
14 years 10 months ago
2001
IEEE
This paper addresses the application of active contours or snakes for location and tracking of facial features. Conventional snake approaches find the position of the snake by fin...
CHI
2009
ACM
14 years 3 months ago
2009
ACM
In this panel, we explore the role emerging transitive materials, like flexible thin-film displays, multi-touch input skins, e-textiles, micro-actuators and Claytronics might play...
IFIP
2009
Springer
14 years 3 months ago
2009
Springer
Spam is increasingly a core problem affecting network security and performance. Indeed, it has been estimated that 80% of all email messages are spam. Content-based filters are a ...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
Probabilistic Description Logics are the basis of ontologies in the Semantic Web. Knowledge representation and reasoning for these logics have been extensively explored in the last...