Sciweavers

2593 search results - page 131 / 519
» constraints 2007
Sort
View
GIS
2007
ACM
16 years 7 months ago
Exploiting automatically inferred constraint-models for building identification in satellite imagery
The building identification (BID) problem is based on a process that uses publicly available information to automatically assign addresses to buildings in satellite imagery. In pr...
Martin Michalowski, Craig A. Knoblock, Kenneth M. ...
SCA
2007
15 years 8 months ago
Guided time warping for motion editing
Time warping allows users to modify timing without affecting poses. It has many applications in animation systems for motion editing, such as refining motions to meet new timing c...
Eugene Hsu, Marco da Silva, Jovan Popovic
GLOBECOM
2007
IEEE
16 years 24 days ago
Soft Sensing and Optimal Power Control for Cognitive Radio
We consider a cognitive radio system where the secondary transmitter varies its transmit power based on all the information available from the spectrum sensor. The operation of th...
Sudhir Srinivasa, Syed Ali Jafar
CSL
2007
Springer
16 years 19 days ago
Qualitative Temporal and Spatial Reasoning Revisited
Abstract. Establishing local consistency is one of the main algorithmic techniques in temporal and spatial reasoning. In this area, one of the central questions for the various pro...
Manuel Bodirsky, Hubie Chen
FROCOS
2007
Springer
16 years 19 days ago
Combining Proof-Producing Decision Procedures
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tr...