1073 search results - page 174 / 215 » Reasoning about Continuous Processes |
EKAW
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Augmenting web pages with semantic contents, i.e., building a ‘Semantic Web’, promises a number of benefits for web users in general and learners in particular. Seman...
ICMI
2004
Springer
14 years 1 months ago
2004
Springer
Although gesture recognition has been studied extensively, communicative, affective, and biometrical “utility” of natural gesticulation remains relatively unexplored. One of t...
NLDB
2004
Springer
14 years 29 days ago
2004
Springer
Human interaction occurs always in a specific context and in a particular environment, and a common knowledge base about them is essential for understanding each other. By immersi...
UML
2004
Springer
14 years 29 days ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
INFOCOM
2003
IEEE
14 years 27 days ago
2003
IEEE
— Recent investigations into the pricing of multiclass loss networks have shown that static prices are optimal in the asymptotic regime of many small sources. These results sugge...