1798 search results - page 169 / 360 » Generating presentation constraints from rhetorical structur... |
203
click to vote
JAR
2010
15 years 5 months ago
2010
Abstract. We present a declarative language inspired by the pseudonatural language used in Matita for the explanation of proof terms. We show how to compile the language to proof t...
173
click to vote
MICCAI
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we present AnatomyBrowser, a framework for integration of images and textual information in medical applications. AnatomyBrowser allows the user to combine 3D surfac...
205
click to vote
TVLSI
2008
15 years 6 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
203
click to vote
GW
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we present a Web-based framework for interactive Sign Language using virtual signing agents. The main feature of this framework is that it is a full DOM-Integrated a...
160
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We develop a method for generating smooth trajectories for a set of mobile robots. Given two end configurations, by tuning one parameter, the user can choose an interpolating tra...