3028 search results - page 180 / 606 » Integrating Temporal Logics |
241
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The integration of reasoning and computation services across system and language boundaries has been mostly treated from an engineering perspective. In this paper we take a foundat...
171
click to vote
FPGA
2003
ACM
16 years 11 days ago
2003
ACM
As integrated circuits become more and more complex, the ability to make post-fabrication changes will become more and more attractive. This ability can be realized using programm...
222
click to vote
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
We present a novel boosting algorithm where temporal consistency is addressed in a short-term way. Although temporal correlation of observed data may be an important cue for classi...
213
click to vote
LOPSTR
1997
Springer
15 years 11 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
197
click to vote
ERSA
2009
15 years 5 months ago
2009
An increasing number of embedded system solutions in space, military, and consumer electronics applications rely on processor cores inside reconfigurable logic devices. Ensuring da...