2701 search results - page 146 / 541 » On the form of witness terms |
145
click to vote
ICRA
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract— In robot-assisted interventions, providing a surgeon with haptic information regarding contacts made between surgical instruments and tissue can improve task performanc...
171
click to vote
ADC
2006
Springer
16 years 14 days ago
2006
Springer
We extend Fagin’s result on the equivalence between functional dependencies in relational databases and propositional Horn clauses. It is shown that this equivalence still holds...
165
click to vote
CSCW
2006
ACM
16 years 14 days ago
2006
ACM
Media sharing over mobile devices is quickly becoming a common practice, used to support a variety of social processes. Most existing systems employ a model of sharing that treats...
155
click to vote
DAC
2006
ACM
16 years 14 days ago
2006
ACM
We present a new method for mathematically estimating the active unit power of functional units in modern microprocessors such as the Pentium 4 family. Our method leverages the ph...
142
click to vote
MM
2006
ACM
16 years 14 days ago
2006
ACM
Growing awareness of the possible over-dominance of the visual modality in the field of interactive media and of the existence of untapped dimensions of sound has led many develop...