12774 search results - page 2232 / 2555 » A Framework for Proof Systems |
169
click to vote
W2GIS
2007
Springer
16 years 28 days ago
2007
Springer
User interaction is mostly based on forms. However, forms are restricted to alphanumerical data – the editing of geospatial data is not supported. This statement does not only ho...
189
click to vote
3DPVT
2006
IEEE
16 years 27 days ago
2006
IEEE
We present a stereo algorithm that achieves high quality results while maintaining real-time performance. The key idea is simple: we introduce an adaptive aggregation step in a dy...
196
click to vote
AINA
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— Wireless sensor networks, by providing an unprecedented way of interacting with the physical environment, have become a hot topic for research over the last few years. ...
162
click to vote
CIMCA
2006
IEEE
16 years 27 days ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
243
click to vote
CONIELECOMP
2006
IEEE
16 years 27 days ago
2006
IEEE
Most of the existing 3D engines are overwhelmingly complex and do not integrate support for virtual characters. We have developed a teaching oriented 3D engine with support for su...