4609 search results - page 804 / 922 » Automatic Generation of Sigma-Protocols |
203
click to vote
SBBD
2003
15 years 7 months ago
2003
Advanced personalization of database applications is a big challenge, in particular for distributed mobile environments. We present several new results from a prototype of a route...
151
click to vote
AAAI
2000
15 years 7 months ago
2000
The inherent difficulty in supporting human usability in large control systems--such as building environmental and security systems--derives from the large diversity of components...
143
click to vote
ACL
1998
15 years 7 months ago
1998
The study presented here relies on the integrated use of different kinds of knowledge in order to improve first-guess accuracy in non-word context-sensitive correction for general...
185
click to vote
VISSYM
2003
15 years 7 months ago
2003
Trivariate data is commonly visualized using isosurfaces or direct volume rendering. When exploring scalar fields by isosurface extraction it is often difficult to choose isoval...
164
click to vote
DEFORM
2000
15 years 7 months ago
2000
: Acquisition of various human body models is useful in many cases. In this paper, we present some of our recent work on body creation tools. Our goal is to enable rapid creation o...