7890 search results - page 1340 / 1578 » The MathSAT 3 System |
213
click to vote
EMSOFT
2004
Springer
16 years 19 days 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...
173
click to vote
SEMWEB
2004
Springer
16 years 17 days 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...
219
click to vote
W2GIS
2004
Springer
16 years 17 days 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...
217
click to vote
CA
2003
IEEE
16 years 16 days 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...
207
click to vote
ISCAS
2003
IEEE
16 years 15 days 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...