4047 search results - page 329 / 810 » The Discrete Basis Problem |
138
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are...
146
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
142
click to vote
PKDD
2000
Springer
15 years 8 months ago
2000
Springer
A new approach to the induction of multivariate decision trees is proposed. A linear decision function (hyper-plane) is used at each non-terminal node of a binary tree for splittin...
127
click to vote
ICRA
1995
IEEE
15 years 8 months ago
1995
IEEE
This papers analyzes the reliability of radius of curvature estimates from tactile sensor data. A linear elastic model is used to t the indenter parameters, load, location, and cu...
117
click to vote
AIPS
2007
15 years 7 months ago
2007
Relaxations based on (either complete or partial) ignoring delete effects of the actions provide the basis for some seminal classical planning heuristics. However, the palette of ...