Sciweavers

2530 search results - page 275 / 506
» Dynamic topological logic
Sort
View
WM
2003
15 years 8 months ago
Worlds, Models, and KM
Techniques for computation on generalized diagrams are defined and the KM implications are explored. Descriptive Computing is presented and plan computation based on world models t...
Cyrus F. Nourani
LOBJET
2008
104views more  LOBJET 2008»
15 years 6 months ago
Une approche formelle de la reconfiguration dynamique
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
M. Simonot, M. Aponte
CP
2010
Springer
15 years 5 months ago
Domain Consistency with Forbidden Values
This paper presents a novel domain-consistency algorithm which does not maintain supports dynamically during propagation, but rather maintain forbidden values. It introduces the op...
Yves Deville, Pascal Van Hentenryck
ICCV
2007
IEEE
16 years 8 months ago
A Symmetry-Based Generative Model for Shape
We propose a novel generative language for shape that is based on the shock graph: given a shock graph topology, we explore constraints on the geometry and dynamics of the shock g...
Nhon H. Trinh, Benjamin B. Kimia
DAC
2007
ACM
16 years 7 months ago
Optimal Selection of Voltage Regulator Modules in a Power Delivery Network
High efficiency low voltage DC-DC conversion is a key enabler to the design of power-efficient integrated circuits. Typically a star configuration of the DC-DC converters, where o...
Behnam Amelifard, Massoud Pedram