9329 search results - page 1580 / 1866 » Feature interaction networks |
219
click to vote
DAGM
2003
Springer
15 years 12 months ago
2003
Springer
We introduce a computational model of sensor fusion based on the topographic representations of a ”two-microphone and one camera” configuration. Our aim is to perform a robust...
169
Voted
CHI
2009
ACM
15 years 11 months ago
2009
ACM
Designers of mobile, social systems must carefully think about how to help their users manage spatial, semantic, and social modes of navigation. Here, we describe our deployment o...
201
Voted
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
This paper describes a method for animating the appearance of clothing, such as pants or a shirt, that fits closely to a figure’s body. Compared to flowing cloth, such as loo...
193
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
230
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...