Sciweavers

1017 search results - page 155 / 204
» On the Power of k -Consistency
Sort
View
AIPS
2003
13 years 11 months ago
Localizing Planning with Functional Process Models
In this paper we describe a compromise between generative planning and special-purpose software. Hierarchical functional models are used by an intelligent system to represent its ...
J. William Murdock, Ashok K. Goel
GRAPHICSINTERFACE
2003
13 years 11 months ago
A Gestural Interface to Free-Form Deformation
We present a gesture-based user interface to Free-Form Deformation (FFD). Traditional interfaces for FFD require the manipulation of individual points in a lattice of control vert...
Geoffrey Draper, Parris K. Egbert
NIPS
2001
13 years 11 months ago
Sequential Noise Compensation by Sequential Monte Carlo Method
We present a sequential Monte Carlo method applied to additive noise compensation for robust speech recognition in time-varying noise. The method generates a set of samples accord...
K. Yao, S. Nakamura
PROCOMET
1998
13 years 11 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
WSC
1998
13 years 11 months ago
Advanced Uses for Micro Saint Simulation Software
Simulation is fast becoming THE software tool for the 1990's. More companies each year are taking advantage of the ease of use of simulation software and see the benefits to ...
Catherine Drury Barnes, K. Ronald Laughery Jr.