630 search results - page 16 / 126 » Symbolic Domain Decomposition |
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
Image Processing and Computer Vision applications often require finding a particular pattern in a set of images. The task involves finding appearances of a given pattern in an ima...
SAS
2007
Springer
14 years 2 months ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
FOIKS
2008
Springer
13 years 10 months ago
2008
Springer
When decomposing database schemas, it is desirable that a decomposition is lossless and dependency preserving. A well-known and frequently used result for the relational model stat...
CPHYSICS
2007
13 years 8 months ago
2007
A parallelized three-dimensional self-consistent electrostatic particle-in-cell (PIC) code using unstructured tetrahedral mesh is proposed. Parallel implementation of the current ...
AI
1999
Springer
13 years 8 months ago
1999
Springer
Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challengingresearch opportunities. In this article, we introduce per...