740 search results - page 76 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
105
click to vote
AAAI
1998
15 years 2 months ago
1998
This paper describes design criteria for creating highly embedded, interactive spaces that we call Intelligent Environments. The motivation for building these systems is to bring ...
134
click to vote
VRST
2010
ACM
14 years 11 months ago
2010
ACM
This paper introduces a region-of-interest visual hull refinement technique, based on flexible voxel grids for volumetric visual hull reconstructions. Region-of-interest refinemen...
113
click to vote
DGO
2004
15 years 2 months ago
2004
This demonstration will be presented at the 2004 National Conference on Digital Government Research. The third year results of the project "Digitalization of Coastal Manageme...
133
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
In the perspective next generation Air Traffic Management (ATM) systems, aircraft will be endowed with part of the responsibility for separation maintenance, and traffic complexity...
105
click to vote
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
This paper describes the role of requirements discovery during the testing of a safety-critical software system. Analysis of problem reports generated by the integration and syste...