1548 search results - page 69 / 310 » Computational Approaches to Sentence Completion |
154
click to vote
COMBINATORICS
2004
15 years 6 months ago
2004
In this paper we bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive...
152
click to vote
KI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
157
click to vote
IROS
2008
IEEE
16 years 17 days ago
2008
IEEE
—We present a new geometrical approach to solving inverse kinematics for continuous backbone (continuum) robot manipulators. First, this paper presents a solution to the inverse ...
160
click to vote
ICPADS
2007
IEEE
16 years 14 days ago
2007
IEEE
Security is a common problem in completely decentralized peer-to-peer systems. Although several suggestions exist on how to create a secure key-based routing protocol, a practicab...
181
click to vote
ICSOC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Current composite web service development and management solutions, e.g. BPEL, do not cater for flexible and adaptive business collaborations due to their pre-defined a...