Sciweavers

699 search results - page 90 / 140
» The KGP Model of Agency for Global Computing: Computational ...
Sort
View
DAC
1998
ACM
14 years 9 months ago
Efficient Coloring of a Large Spectrum of Graphs
We have developed a new algorithm and software for graph coloring by systematically combining several algorithm and software development ideas that had crucial impact on the algor...
Darko Kirovski, Miodrag Potkonjak
CONEXT
2006
ACM
14 years 2 months ago
Compositional control of IP media
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
Pamela Zave, Eric Cheung
GI
2001
Springer
14 years 1 months ago
Specifying Component Invariants with OCL
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
Rolf Hennicker, Hubert Baumeister, Alexander Knapp...
CA
2000
IEEE
14 years 1 months ago
Accurate Collision Response on Polygonal Meshes
We present a very general geometrical correction method for enforcing collisions and other geometrical constraints between polygonal mesh surfaces. It is based on a global resolut...
Pascal Volino, Nadia Magnenat-Thalmann
AGI
2008
13 years 10 months ago
LIDA and a Theory of Mind
Every agent aspiring to human level intelligence, every AGI agent, must be capable of a theory of mind. That is, it must be able to attribute mental states, including intentions, t...
David Friedlander, Stan Franklin