Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
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...
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...
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 ...
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...