2706 search results - page 254 / 542 » The case for a new business model |
191
click to vote
IJRR
2010
15 years 5 months ago
2010
Robots consisting of several concentric, preshaped, elastic tubes can work dexterously in narrow, constrained, and/or winding spaces, as are commonly found in minimally invasive s...
158
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proofprocedure for first-order logic, ...
145
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
182
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
e [43] is the first paper on final, observational semantics in abstract data types, and the main reference for one of the MoC contributed papers in this volume. It presented severa...
185
click to vote
CIKM
1997
Springer
15 years 11 months ago
1997
Springer
: In the context of knowledge management, we focus on the representation and the retrieval of past experiences called cases within the Case-Based Reasoning (CBR) paradigm. CBR is a...