5550 search results - page 200 / 1110 » Different Approaches to Proof Systems |
178
click to vote
SIGGRAPH
1993
ACM
15 years 10 months ago
1993
ACM
We believe that navigation in information spaces is best supported by tapping into our natural spatial and geographic ways of thinking. To this end, we are developing a new comput...
175
click to vote
FDBS
2001
15 years 8 months ago
2001
Integrating data sources is a general problem in many scenarios. The main problem is the heterogeneity between data sources which were created and developed separately. In the lit...
182
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper discusses the use of C++ for the design of digital systems. The paper distinguishes a number of different approaches towards the use of programming languages for digita...
201
click to vote
CGF
2008
15 years 6 months ago
2008
We present a novel approach to parameterize a mesh with disk topology to the plane in a shape-preserving manner. Our key contribution is a local/global algorithm, which combines a...
190
click to vote
CAINE
2003
15 years 8 months ago
2003
An agent based system is used to model unmanned aerial vehicle missions utilizing various control models. The system uses a multi level approach to modeling a UAV in order to supp...