2583 search results - page 214 / 517 » On the Representation of Timed Polyhedra |
155
click to vote
DLOG
2006
15 years 8 months ago
2006
We propose a technique to make consistency detection scalable for large Aboxes in secondary storage. We use static analysis of knowledge representation with summarization techniqu...
122
click to vote
FLAIRS
2004
15 years 8 months ago
2004
Mixed-initiative case replay introduces an active human into the case-based planning process. The goals of this novel technique are to utilize the strengths of machine-based case ...
158
click to vote
ISCAPDCS
2003
15 years 7 months ago
2003
In this paper, we present a system partitioning technique in which the input system specification is based on C++ language. The proposed technique processes data and precedence de...
162
click to vote
NIPS
2003
15 years 7 months ago
2003
We present a connectionist architecture that can learn a model of the relations between perceptions and actions and use this model for behavior planning. State representations are...
175
click to vote
DAGSTUHL
1998
15 years 7 months ago
1998
We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while...