Sciweavers

2143 search results - page 144 / 429
» Linking Representation with Meaning
Sort
View
ADAEUROPE
2008
Springer
16 years 26 days 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 13 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 3 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 1 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
15 years 12 months 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