2845 search results - page 211 / 569 » Constraints over Ontologies |
154
click to vote
ICALT
2003
IEEE
15 years 12 months ago
2003
IEEE
Learning Objects Metadata describing educational resources in order to allow better reusability and retrieval. Unfortunately, annotating complete courses thoroughly with LOM metad...
182
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In the e-Science context, workflow technologies provide a problemsolving environment for researchers by facilitating the creation and execution of experiments from a pool...
159
click to vote
IAT
2003
IEEE
15 years 12 months ago
2003
IEEE
With the increasing use of the internet, many problemsolving tasks such as resource allocation, scheduling, planning, and configuration pose themselves in an open setting involvi...
283
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
183
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
We consider a problem central in aerial visual surveillance applications { detection and tracking of small, independently moving objects in long and noisy video sequences. We dire...