2783 search results - page 215 / 557 » The Nature Of Near-Synonymic Relations |
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— Rendering a stiff virtual wall remains a core challenge in the field of haptics. A passivity study of this problem is presented, which relates the maximum achievable wall stif...
CIE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We discuss some known and introduce some new reducibilities on regular sets. We establish some facts on the corresponding degree structures and relate some reducibilities...
RTA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...
125
click to vote
AMAI
2004
Springer
15 years 7 months ago
2004
Springer
This paper studies the relative proof complexity of variations of a tableau method for Boolean circuit satisfiability checking obtained by restricting the use of the cut rule in s...
103
click to vote
ISWC
2003
IEEE
15 years 7 months ago
2003
IEEE
This note describes how continuous sensing of gesture enabling expressive control of real-time audio/visual media is achieved using Berkeley motes. We have contributed a relativel...