2225 search results - page 248 / 445 » Logical Structures in the Lexicon |
174
click to vote
PPDP
2007
Springer
16 years 20 days ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
145
click to vote
TACAS
2007
Springer
16 years 20 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
179
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
206
click to vote
PKDD
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
153
click to vote
FPGA
2004
ACM
15 years 12 months ago
2004
ACM
We consider active leakage power dissipation in FPGAs and present a “no cost” approach for active leakage reduction. It is well-known that the leakage power consumed by a digi...