5964 search results - page 173 / 1193 » A theory of speculative computation |
190
click to vote
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
140
click to vote
HYBRID
2005
Springer
16 years 16 days ago
2005
Springer
By transferring the theory of hybrid systems to a categorical framework, it is possible to develop a homology theory for hybrid systems: hybrid homology. This is achieved by consid...
193
click to vote
FSTTCS
2004
Springer
16 years 12 days ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
179
click to vote
PADL
2004
Springer
16 years 11 days ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
179
Voted
AIME
2003
Springer
16 years 7 days ago
2003
Springer
The theory of granular partitions (TGP) is a new approach to the understanding of ontologies and other classificatory systems. The paper explores the use of this new theory in the ...