333 search results - page 37 / 67 » Automated Adaptive Forming Simulations |
106
click to vote
WEBI
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we present an efficient model for discovering repeated patterns in symbolic representations of music. Combinatorial redundancy inherent to the pattern discovery pa...
109
click to vote
ICCBR
1997
Springer
15 years 6 months ago
1997
Springer
Planning by analogical reasoning is a learning method that consists of the storage, retrieval, and replay of planning episodes. Planning performance improves with the accumulationa...
114
click to vote
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
— Modular robots have the potential to achieve a wide range of applications by reconfiguring their shapes to perform different functions. This requires robust and scalable contr...
106
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...