5799 search results - page 183 / 1160 » Position Paper |
116
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes two research projects that develop new low-cost techniques for testing devices with multiple high-speed (2 to 5 Gbps) signals. Each project uses commercially ...
147
Voted
HAPTICS
2005
IEEE
15 years 9 months ago
2005
IEEE
The increasing complexity and pervasiveness of handheld devices is demanding the development of interaction techniques explicitly tailored for mobile scenarios. This paper examine...
157
Voted
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
95
Voted
COSIT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...
107
Voted
ILP
2005
Springer
15 years 9 months ago
2005
Springer
The Cyc KB has a rich pre-existing ontology for representing common sense knowledge. To clarify and enforce its terms’ semantics and to improve inferential efficiency, the Cyc on...