3119 search results - page 238 / 624 » General Default Logic |
77
Voted
FPL
2005
Springer
15 years 6 months ago
2005
Springer
Many System-on-a-Chip devices would benefit from the inclusion of reprogrammable logic on the silicon die, as it can add general computing ability, provide run-time reconfigurabil...
131
click to vote
CADE
2005
Springer
16 years 1 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
127
Voted
DOLAP
2006
ACM
15 years 7 months ago
2006
ACM
Decision support systems (DSS) may be enhanced qualitatively if they are able to also deal with spatial dimensions and measures. Regardless the evident importance of using data wa...
112
Voted
HT
2005
ACM
15 years 6 months ago
2005
ACM
In recent years, many algorithms for the Web have been developed that work with information units distinct from individual web pages. These include segments of web pages or aggreg...
154
click to vote
HYBRID
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...