7167 search results - page 857 / 1434 » Answer Set Programming |
151
click to vote
VLSID
2005
IEEE
16 years 6 months ago
2005
IEEE
This paper presents an RTL generation scheme for a SimpleScalar / PISA Instruction set architecture with system calls to implement C programs. The scheme utilizes ASIPmeister, a p...
147
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
We define stochastic timed games, which extend two-player timed games with probabilities (following a recent approach by Baier et al), and which extend in a natural way continuous-...
162
click to vote
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
We consider the problem of constructing decision trees for entity identification from a given table. The input is a table containing information about a set of entities over a fi...
132
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The adoption of AUTOSAR in the development of automotive electronics can increase the portability and reuse of functional components. Inside each component, the behavior is repr...
145
click to vote
ER
2009
Springer
16 years 24 days ago
2009
Springer
In previous work, we proposed an algebra whose operators allow to specify the valid compound terms of a faceted taxonomy, in a flexible manner (by combining positive and negative ...