3172 search results - page 322 / 635 » Combining Specification Techniques for Processes, Data and T... |
163
click to vote
AIPS
2008
15 years 9 months ago
2008
Planning as heuristic search is a powerful approach to solving domain independent planning problems. In recent years, various successful heuristics and planners like FF, LPG, FAST...
160
click to vote
GLVLSI
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents a new signaling scheme called PWAM (pulse width and amplitude modulation) to obtain the optimum combination of bandwidth and performance of the serial link tra...
188
click to vote
ICANN
2011
Springer
14 years 10 months ago
2011
Springer
Subspace learning is very important in today's world of information overload. Distinguishing between categories within a subset of a large data repository such as the web and ...
156
click to vote
ISARCS
2010
15 years 8 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
170
click to vote
ICDM
2007
IEEE
16 years 1 months ago
2007
IEEE
Constrained pattern mining extracts patterns based on their individual merit. Usually this results in far more patterns than a human expert or a machine learning technique could m...