7890 search results - page 1340 / 1578 » The MathSAT 3 System |
181
click to vote
EMSOFT
2004
Springer
16 years 10 hour ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
147
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
The Semantic Web is bound to be untrustworthy and inconsistent. In this paper, we present an initial approach for obtaining useful information in such an environment. In particular...
203
click to vote
W2GIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Finding single pair shortest paths on surface is a fundamental problem in various domains, like Geographic Information Systems (GIS) 3D applications, robotic path plannin...
191
click to vote
CA
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes an animated conversational agent called Kare1 which integrates a talking head interface with a linguistically motivated human-machine dialogue system. The age...
181
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
In 1986, Franceschini et al. built an optronic velocity sensor [11], the principle of which was based on the findings they had recently made on fly EMDs by performing electrophysio...