2012 search results - page 165 / 403 » CORAL - Control, Relations and Logic |
167
click to vote
GLVLSI
2007
IEEE
16 years 26 days ago
2007
IEEE
A PAL-based logic block is the core of great majority of contemporary CPLD devices. The purpose of the paper is to present a new approach to multi-level synthesis for PAL-based CP...
160
click to vote
ICTAI
2005
IEEE
16 years 3 days ago
2005
IEEE
Partially Observable Markov Decision Processes (POMDPs) provide a general framework for AI planning, but they lack the structure for representing real world planning problems in a...
158
click to vote
LICS
2005
IEEE
16 years 3 days ago
2005
IEEE
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...
172
click to vote
SAINT
2005
IEEE
16 years 3 days ago
2005
IEEE
Inductive Logic Programming (ILP) is a combination of inductive learning and first-order logic aiming to learn first-order hypotheses from training examples. ILP has a serious b...
160
click to vote
BTW
2003
Springer
15 years 11 months ago
2003
Springer
Abstract:The W3C XML Linking Language (XLink) provides a powerful means for interlinking XML documents all over the world. While the effects when browsing through linked XML docume...