4166 search results - page 16 / 834 » Automating the constraining process |
ICLP
2004
Springer
14 years 1 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
METRICS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper addresses not only the question of testability measurement of OO designs but also focuses on its practicability. While detecting testability weaknesses (called testabil...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
The ability to determine the identity of a skull found at a crime scene is of critical importance to the law enforcement community. Traditional clay-based methods attempt to recon...
ICIP
1998
IEEE
14 years 10 months ago
1998
IEEE
Maximum a posteriori (MAP) filtering using the HuberMarkov random field (HMRF) image model has been shown in the past to be an effective method of reducing compression artifacts i...
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
An automated technique to segment solar coronal loops from intensity images of the Sun's corona is introduced. It exploits physical characteristics of the solar magnetic fiel...