4502 search results - page 708 / 901 » Regular Model Checking |
197
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Nonparametric methods are widely applicable to statistical learning problems, since they rely on a few modeling assumptions. In this context, the fresh look advocated here permeat...
333
click to vote
IWSOS
2011
Springer
14 years 9 months ago
2011
Springer
Abstract This paper depicts and evaluates an evolutionary design process for generating a complex self-organizing multicellular system based on Cellular Automata (CA). We extend th...
195
click to vote
AAAI
2011
14 years 6 months ago
2011
We present a method for dependency grammar induction that utilizes sparse annotations of semantic relations. This induction set-up is attractive because such annotations provide u...
227
click to vote
DAGM
2011
Springer
14 years 6 months ago
2011
Springer
Hybrid registration schemes are a powerful alternative to fully automatic registration algorithms. Current methods for hybrid registration either include the landmark information a...
178
click to vote
ICDE
2012
IEEE
13 years 8 months ago
2012
IEEE
—Large graphs are used in many applications, such as social networking. The management of these graphs poses new challenges because such graphs are too large to fit on a single ...