1648 search results - page 126 / 330 » Structuring namespace descriptions |
139
click to vote
CADE
2007
Springer
16 years 4 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...
151
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
The General Game Playing (GGP) problem is concerned with developing systems capable of playing many different games, even games the system has never encountered before. Successful...
115
Voted
ISMIR
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents the principles of a new approach aimed at automatically discovering motivic patterns in monodies. It is shown that, for the results to agree with the listenerā...
118
Voted
GLVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
A critical part of the design of HW/SW systems concerns the deļ¬nition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
144
Voted
SIGIR
2003
ACM
15 years 9 months ago
2003
ACM
A novel Hardware Assisted Top-Doc (HAT) component is disclosed. HAT is an optimized content indexing device based on a modified inverted index structure. HAT accommodates patterns...