Sciweavers

1981 search results - page 208 / 397
» The State of Change: A Survey
Sort
View
AI
2003
Springer
15 years 11 months ago
A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
Christel Kemke
DSN
2002
IEEE
15 years 11 months ago
Transactional Rollback for Language-Based Systems
Language run-time systems are routinely used to host potentially buggy or malicious codelets — software modules, agents, applets, etc. — in a secure environment. A number of t...
Algis Rudys, Dan S. Wallach
PCM
2001
Springer
169views Multimedia» more  PCM 2001»
15 years 11 months ago
Emotion Detection from Speech to Enrich Multimedia Content
The paper describes an experimental study on the detection of emotion from speech. As computer based characters such as avatars and virtual chat faces become more common, the use ...
Feng Yu, Eric Chang, Ying-Qing Xu, Heung-Yeung Shu...
MOBICOM
2000
ACM
15 years 11 months ago
GPSR: greedy perimeter stateless routing for wireless networks
We present Greedy Perimeter Stateless Routing (GPSR), a novel routing protocol for wireless datagram networks that uses the positions of routers and a packet’s destination to ma...
Brad Karp, H. T. Kung
KBSE
1999
IEEE
15 years 10 months ago
An Integration of Deductive Retrieval into Deductive Synthesis
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
Bernd Fischer 0002, Jon Whittle