2373 search results - page 276 / 475 » On the Theory of Structural Subtyping |
197
click to vote
AP2PC
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Peer-to-peer (P2P) architectures exhibit attractive properties for a wide range of real world systems. As a result they are increasingly being applied in the design of ap...
173
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
Since our world is populated by entities that persist through time and that change over time it is important to represent knowledge about those entities in a formal manner. In this...
132
click to vote
FPL
2004
Springer
16 years 1 days ago
2004
Springer
This paper proposes a new adaptable FPGA logic element based on fracturable 6-LUTs, which fundamentally alters the longstanding belief that a 4-LUT is the most efficient area/delay...
152
click to vote
HYBRID
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
167
click to vote
HYBRID
2004
Springer
16 years 1 days ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...