8025 search results - page 100 / 1605 » Combinators Introduction: An Algorithm |
155
click to vote
FORMATS
2010
Springer
14 years 11 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
134
click to vote
AAAI
2011
14 years 1 months ago
2011
Action modeling is an important skill for agents that must perform tasks in novel domains. Previous work on action modeling has focused on learning STRIPS operators in discrete, r...
217
click to vote
ICDE
2005
IEEE
16 years 3 months ago
2005
IEEE
Replicating data over a cluster of workstations is a powerful tool to increase performance, and provide faulttolerance for demanding database applications. The big challenge in su...
107
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
111
click to vote
ICML
2007
IEEE
16 years 2 months ago
2007
IEEE
The k-Nearest Neighbors algorithm can be easily adapted to classify complex objects (e.g. sets, graphs) as long as a proper dissimilarity function is given over an input space. Bo...