Sciweavers

2143 search results - page 144 / 429
» Linking Representation with Meaning
Sort
View
ADAEUROPE
2008
Springer
16 years 1 months ago
A Framework for CFG-Based Static Program Analysis of Ada Programs
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
Raul Fechete, Georg Kienesberger, Johann Blieberge...
WOWMOM
2006
ACM
102views Multimedia» more  WOWMOM 2006»
16 years 29 days ago
Towards the Knowledge-Driven Benchmarking of Autonomic Communications
Currently a wide range of different adaptive and intelligent system solutions are being proposed for use in self-managing or autonomic networks. However, there are few means by wh...
David Lewis, Declan O'Sullivan, John Keeney
ICRA
2005
IEEE
111views Robotics» more  ICRA 2005»
16 years 18 days ago
A New Formalism to Characterize Contact States Involving Articulated Polyhedral Objects
— In this paper a novel formalism to characterize contact states between an articulated polyhedral object and a polyhedral environment for the generation of the graph of feasible...
Ernesto Staffetti, Wim Meeussen, Jing Xiao
DSSCV
2005
Springer
16 years 16 days ago
Deep Structure of Images in Populations Via Geometric Models in Populations
We face the question of how to produce a scale space of image intensities relative to a scale space of objects or other characteristic image regions filling up the image space, whe...
Stephen M. Pizer, Ja-Yeon Jeong, Robert E. Broadhu...
TARK
2005
Springer
16 years 15 days ago
Semantics for multi-agent only knowing: extended abstract
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...
Arild Waaler, Bjørnar Solhaug