8512 search results - page 200 / 1703 » Computing Theory With Relevance |
104
click to vote
HYBRID
2005
Springer
15 years 10 months 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...
150
click to vote
FSTTCS
2004
Springer
15 years 10 months 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...
146
click to vote
PADL
2004
Springer
15 years 10 months 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...
144
click to vote
AIME
2003
Springer
15 years 10 months 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 ...
146
click to vote
ALS
2003
Springer
15 years 10 months ago
2003
Springer
This paper takes an overtly anticipatory stance to the understanding of animat learning and behavior. It analyses four major animal learning theories and attempts to identify the a...