Sciweavers

9325 search results - page 1518 / 1865
» The decentralized implementability problem
Sort
View
AI
2004
Springer
15 years 4 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
Fangzhen Lin, Yuting Zhao
AICOM
2004
105views more  AICOM 2004»
15 years 4 months ago
Using WordNet for case-based retrieval of UML models
Software complexity has increased substantially in the last decade. This has made software development teams work faster and under tight budgets. Reusing software can be a way of s...
Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nu...
174
Voted
JSW
2007
173views more  JSW 2007»
15 years 4 months ago
Towards Semantics Driven Generation of Executable Web Services Compositions
— Web services composition is a very active area of research due to the growing interest of public and private organizations in services integration and/or low cost development o...
Giusy Di Lorenzo, Nicola Mazzocca, Francesco Mosca...
JUCS
2007
104views more  JUCS 2007»
15 years 4 months ago
Real-time Architecture for Robust Motion Estimation under Varying Illumination Conditions
: Motion estimation from image sequences is a complex problem which requires high computing resources and is highly affected by changes in the illumination conditions in most of th...
Javier Díaz, Eduardo Ros, Rafael Rodr&iacut...
JVCA
2007
128views more  JVCA 2007»
15 years 4 months ago
Impulse-based dynamic simulation in linear time
This paper describes an impulse-based dynamic simulation method for articulated bodies which has a linear time complexity. Existing linear-time methods are either based on a reduc...
Jan Bender
« Prev « First page 1518 / 1865 Last » Next »