6554 search results - page 1270 / 1311 » Constraint Logic Programming |
135
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
120
click to vote
CCS
2007
ACM
15 years 9 months ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
135
click to vote
CIKM
2007
Springer
15 years 9 months ago
2007
Springer
We present an evolutionary clustering method which can be applied to multi-relational knowledge bases storing resource annotations expressed in the standard languages for the Sema...
131
click to vote
FSKD
2007
Springer
15 years 9 months ago
2007
Springer
segmentation of moving regions in outdoor environment under a moving camera is a fundamental step in many vision systems including automated visual surveillance, human-machine int...
131
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...