Sciweavers

2593 search results - page 96 / 519
» constraints 2007
Sort
View
274
Voted
POPL
2007
ACM
16 years 5 months ago
A concurrent constraint handling rules implementation in Haskell with software transactional memory
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
Edmund S. L. Lam, Martin Sulzmann
ICRA
2007
IEEE
227views Robotics» more  ICRA 2007»
15 years 11 months ago
Inverse Dynamics Control with Floating Base and Constraints
— In this paper, we address the issues of compliant control of a robot under contact constraints with a goal of using joint space based pattern generators as movement primitives,...
Jun Nakanishi, Michael Mistry, Stefan Schaal
LICS
2007
IEEE
15 years 11 months ago
Symmetric Datalog and Constraint Satisfaction Problems in Logspace
We introduce symmetric Datalog, a syntactic restriction of linear Datalog and show that its expressive power is exactly that of restricted symmetric monotone Krom SNP. The deep re...
László Egri, Benoit Larose, Pascal T...
124
Voted
UM
2007
Springer
15 years 10 months ago
Respecting Users' Individual Privacy Constraints in Web Personalization
Web personalization has demonstrated to be advantageous for both online customers and vendors. However, its benefits may be severely counteracted by privacy constraints. Personaliz...
Yang Wang 0005, Alfred Kobsa
165
Voted
SDM
2007
SIAM
147views Data Mining» more  SDM 2007»
15 years 6 months ago
Constraint-Based Pattern Set Mining
Local pattern mining algorithms generate sets of patterns, which are typically not directly useful and have to be further processed before actual application or interpretation. Ra...
Luc De Raedt, Albrecht Zimmermann