2859 search results - page 374 / 572 » A Programming Environment for Bousi-Prolog |
168
click to vote
APCHI
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper describes a method for manipulating a threedimensional object without considering conventional three independent orthogonal views. We apply the direct manipulation to o...
181
click to vote
ICVS
1999
Springer
15 years 10 months ago
1999
Springer
Many modern computer vision systems are built by chaining together standard vision procedures, often in graphical programming environments such as Khoros, CVIPtools or IUE. Typical...
194
click to vote
ISER
1999
Springer
15 years 10 months ago
1999
Springer
: Robotic planetary exploration is a major component of the United States’ NASA space science program. The focus of our research is to develop rover planning and control algorith...
146
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Current practice in the design of application software for high-performance embedded computing systems is characterized by long development times, lack of interoperability with ot...
181
click to vote
CCS
1998
ACM
15 years 10 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...