94 search results - page 11 / 19 » Computability and Complexity Results for a Spatial Assertion... |
SAC
2011
ACM
12 years 11 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
SIBGRAPI
2006
IEEE
14 years 2 months ago
2006
IEEE
Statistical discrimination methods are suitable not only for classification but also for characterisation of differences between a reference group of patterns and the population u...
CGO
2011
IEEE
13 years 12 days ago
2011
IEEE
—Approximating ideal program outputs is a common technique for solving computationally difficult problems, for adhering to processing or timing constraints, and for performance ...
TCSV
2010
13 years 3 months ago
2010
We propose a compressed domain video object segmentation method for MPEG or MPEG-like encoded videos. Computational superiority is the main advantage of the compressed domain proc...
OTM
2005
Springer
14 years 2 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...