648 search results - page 95 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
99
Voted
ISCA
1993
IEEE
15 years 3 months ago
1993
IEEE
Parallel programs that use critical sections and are executed on a shared-memory multiprocessor with a writeinvalidate protocol result in invalidation actions that could be elimin...
ICRA
2003
IEEE
15 years 4 months ago
2003
IEEE
We present an online algorithm for planning sequences of footstep locations that encode goal-directed navigation strategies for humanoid robots. Planning footsteps is more general...
106
Voted
ICTAI
2007
IEEE
15 years 5 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
110
Voted
KBSE
2000
IEEE
15 years 2 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
176
Voted
ICDE
2008
IEEE
16 years 8 days ago
2008
IEEE
Abstract-- A decomposition of a binary matrix into two matrices gives a set of basis vectors and their appropriate combination to form the original matrix. Such decomposition solut...