Sciweavers

4359 search results - page 370 / 872
» Automated Pipeline Design
Sort
View
CL
2000
Springer
15 years 11 months ago
Multi-dimensional Dynamic Logic Programming
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
João Alexandre Leite, José Jú...
PLILP
1994
Springer
15 years 11 months ago
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
Philippe Codognet, Daniel Diaz
ICLP
2010
Springer
15 years 10 months ago
Structured Interactive Musical Scores
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
Mauricio Toro-Bermudez
160
Voted
ICRA
1995
IEEE
81views Robotics» more  ICRA 1995»
15 years 10 months ago
Parts Orienting by Push-Aligning
Programmable parts orienting is an important capability for exible automation systems. Here we study how a part grasped in an unknown orientation by a force-controlled robot can b...
Srinivas Akella, Matthew T. Mason
DLOG
2008
15 years 9 months ago
Visualization of Description Logic Models
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...
Fernando Náufel do Amaral, Carlos Bazilio M...