3995 search results - page 408 / 799 » Linearization of hybrid processes |
163
click to vote
ERSHOV
1999
Springer
15 years 11 months ago
1999
Springer
The traditional representation of a program is as a linear sequence of text. At some stage in the execution sequence the source text is checked for type correctness and its transla...
200
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
173
click to vote
AAAI
2008
15 years 9 months ago
2008
In group decision making, often the agents need to decide on multiple attributes at the same time, so that there are exponentially many alternatives. In this case, it is unrealist...
187
Voted
NIPS
2008
15 years 8 months ago
2008
The discovery of causal relationships between a set of observed variables is a fundamental problem in science. For continuous-valued data linear acyclic causal models with additiv...
205
click to vote
VMV
2007
15 years 8 months ago
2007
We present an interactive technique for the registration of captured images of elastic and rigid body parts in which the user is given flexible control over material specific de...