624 search results - page 83 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
SEMWEB
2010
Springer
13 years 6 months ago
2010
Springer
The Web of Linked Data is characterized by linking structured data from different sources using equivalence statements, such as owl:sameAs, as well as other types of linked propert...
JUCS
2002
13 years 8 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
ICIP
2010
IEEE
13 years 6 months ago
2010
IEEE
This paper focuses on the problem of person detection in harsh industrial environments. Different image regions often have different requirements for the person to be detected. Ad...
CP
2009
Springer
14 years 9 months ago
2009
Springer
We introduce a new approach to approximating weighted Max-SAT problems that is based on simplifying a given instance, and then tightening the approximation. First, we relax its str...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
The derivation of specific models from reference models corresponds with the creation of reference model variants. Research on the design of such variant constructions generally a...