1345 search results - page 240 / 269 » Interactive 3D Model Completion |
HICSS
1995
IEEE
15 years 3 months ago
1995
IEEE
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
FM
2008
Springer
15 years 1 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
MAICS
2003
15 years 1 months ago
2003
In this paper we present a system that uses its underlying physiology, a hierarchical memory and a collection of memory management algorithms to learn concepts as cases and to bui...
104
click to vote
CADE
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
FUNGAMES
2008
15 years 25 days ago
2008
We report on the construction of real-world dice equipped with radio frequency identification (RFID) technology that support the automated readout and processing of rolled results....