Sciweavers

3367 search results - page 441 / 674
» Incremental assignment problem
Sort
View
KBSE
2000
IEEE
15 years 8 months ago
Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...
Prasanta K. Bose, Mark G. Matthews
SIGGRAPH
2000
ACM
15 years 8 months ago
Seamless texture mapping of subdivision surfaces by model pelting and texture blending
Subdivision surfaces solve numerous problems related to the geometry of character and animation models. However, unlike on parametrised surfaces there is no natural choice of text...
Dan Piponi, George Borshukov
DEXA
2000
Springer
95views Database» more  DEXA 2000»
15 years 8 months ago
Formalizing Workflows Using the Event Calculus
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
Nihan Kesim Cicekli, Yakup Yildirim
ICCAD
1999
IEEE
96views Hardware» more  ICCAD 1999»
15 years 8 months ago
Implication graph based domino logic synthesis
In this paper, we present a new approach to the problem of inverter elimination in domino logic synthesis. A small piece of static CMOS logic is introduced to the circuit to avoid...
Ki-Wook Kim, C. L. Liu, Sung-Mo Kang
ICRA
1998
IEEE
144views Robotics» more  ICRA 1998»
15 years 8 months ago
Acquiring Mobile Robot Behaviors by Learning Trajectory Velocities with Multiple FAM Matrices
In this paper we describe an unsupervised robot learning method which is based on the robot learning a mapping between sensors and trajectory velocities. This enables the robot to...
Koren Ward, Alexander Zelinsky