179 search results - page 27 / 36 » Space Bounded Computations: Review And New Separation Result... |
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
NIPS
2001
14 years 12 months ago
2001
Abstract--Kernel-based algorithms such as support vector machines have achieved considerable success in various problems in batch setting, where all of the training data is availab...
AIPS
2011
14 years 2 months ago
2011
Conformant planning can be formulated as a path-finding problem in belief space where the two main challenges are the heuristics to guide the search, and the representation and u...
ECCV
2000
Springer
16 years 9 days ago
2000
Springer
A novel algorithm is proposed to learn pattern similarities for texture image retrieval. Similar patterns in di erent texture classes are grouped into a cluster in the feature spac...
106
click to vote
DAC
2004
ACM
15 years 11 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...