1852 search results - page 295 / 371 » Structured Ontology Format |
CADE
2007
Springer
14 years 10 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
SIGMOD
2005
ACM
14 years 10 months ago
2005
ACM
The description, composition, and execution of even logically simple scientific workflows are often complicated by the need to deal with "messy" issues like heterogeneou...
ICDCS
2009
IEEE
14 years 7 months ago
2009
IEEE
—Content-based service, which dynamically routes and delivers events from sources to interested users, is extremely important to network services. However, existing content-based...
ICCD
2006
IEEE
14 years 7 months ago
2006
IEEE
Abstract— Microcode enables programmability of (micro) architectural structures to enhance functionality and to apply patches to an existing design. As more features get added to...
CEC
2009
IEEE
14 years 4 months ago
2009
IEEE
— A cognitive system is presented, which is based on coupling a multi-objective evolutionary algorithm with a fuzzy information processing system. The aim of the system is to ide...