1291 search results - page 146 / 259 » Computing the multiplicity structure in solving polynomial s... |
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
The ability to identify particular features and structures, such as faces or types of scenery in images, is a topic with many available applications and potential solutions. In th...
101
click to vote
WDAG
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. A new algorithm is presented for detecting whether a particular computation of an asynchronous distributed system satisfies Poss Φ (read “possibly Φ”), meaning the...
146
click to vote
HPCC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Even though there have been many research works on distributed deadlock detection and recovery mechanisms, the multi-cycle deadlock problems are not extensively studied y...
ISBI
2008
IEEE
16 years 2 months ago
2008
IEEE
Here we present a scalable method to compute the structure of causal links over large scale dynamical systems that achieves high efficiency in discovering actual functional connec...
101
Voted
KI
2009
Springer
15 years 6 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...