4617 search results - page 687 / 924 » Automation of Diagrammatic Reasoning |
154
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
In this paper, we systematically define three transaction level TLMs), which reside at different levels of abstraction between the functional and the implementation model of a DSP...
177
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
Extensible processors, which allow customization for an application domain by extending the core instruction set architecture, are becoming increasingly popular for embedded syste...
204
click to vote
ICML
2000
IEEE
16 years 8 months ago
2000
IEEE
Decision-theoretic reasoning and planning algorithms are increasingly being used for mobile robot navigation, due to the signi cant uncertainty accompanying the robots' perce...
291
click to vote
ICLP
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. We propose a qualitative approach to elaborating the biosynthetic capacities of metabolic networks. In fact, large-scale metabolic networks as well as measured datasets s...
263
click to vote
ICLP
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing ...