1933 search results - page 260 / 387 » A Dynamic Theory of Ontology |
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
ICCAD
2002
IEEE
14 years 6 months ago
2002
IEEE
- This paper addresses the problem of maximizing capacity utilization of the battery power source in a portable electronic system under latency and loss rate constraints. First, a ...
CSCW
2010
ACM
14 years 5 months ago
2010
ACM
Creativity is central to much human problem solving and innovation. Brainstorming processes attempt to leverage group creativity, but group dynamics sometimes limit their utility....
SAC
2009
ACM
14 years 3 months ago
2009
ACM
In the past years, the theory and practice of machine learning and data mining have been focused on static and finite data sets from where learning algorithms generate a static m...
CONIELECOMP
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— This paper presents a new control family of fixedcamera visual servoing for planar robot manipulators. The methodology is based-on energy shaping methodology in order ...