846 search results - page 97 / 170 » Rewrite-Based Decision Procedures |
180
click to vote
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a novel classification strategy for 3D objects. Our technique is based on using a Global Geodesic Function to intrinsically describe the surface ofan object. T...
169
click to vote
ICAT
2007
IEEE
16 years 1 months ago
2007
IEEE
Trials on the transmission of olfactory information together with audio/visual information are currently being conducted in the field of multimedia. However, continuous emission ...
178
click to vote
CONCUR
2007
Springer
16 years 27 days ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
143
click to vote
IPOM
2007
Springer
16 years 26 days ago
2007
Springer
This paper presents a method for the distribution of video flows through several paths of an IP network. We call the approach multisource focusing on the fact that, from the recei...
148
click to vote
LPAR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...