3359 search results - page 180 / 672 » A Simplified Idea Algorithm |
142
click to vote
ENTCS
2006
15 years 4 months ago
2006
We consider the issue of exploiting the structural form of ESTEREL programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking t...
120
click to vote
MSCS
2008
15 years 4 months ago
2008
The idea of coercive subtyping, a theory of abbreviation for dependent type theories, is incorporated into the polymorphic type system in functional programming languages. The tra...
119
click to vote
ICML
2010
IEEE
15 years 2 months ago
2010
IEEE
We provide a novel view of learning an approximate model of a partially observable environment from data and present a simple implemenf the idea. The learned model abstracts away ...
139
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper we propose a practical and efficient method for finding the globally optimal solution to the problem of pose estimation of a known object. We present a framework tha...
123
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
We have developed a new algorithm and software for graph coloring by systematically combining several algorithm and software development ideas that had crucial impact on the algor...