Sciweavers

1942 search results - page 69 / 389
» Matroids from modules
Sort
View
DAC
2011
ACM
12 years 7 months ago
Extracting behavior and dynamically generated hierarchy from SystemC models
SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...
Harry Broeders, René van Leuken
SACI
2007
IEEE
14 years 1 months ago
Map Building and Localization of a Robot Using Omnidirectional Image Sequences
: The paper describes a map building module, where the image sequences of the omnidirectional camera are transformed into virtual top-view ones and melted into the global dynamic m...
Zoltan Vamossy
ICRA
2006
IEEE
93views Robotics» more  ICRA 2006»
14 years 1 months ago
Hierarchical Control for Self-assembling Mobile Trusses with Passive and Active Links
— This paper explores the space of active modular trusses, ranging from a passive truss with one independent active climbing module to fully self-reconfiguring dynamically contr...
Carrick Detweiler, Marsette Vona, Keith Kotay, Dan...
ISSAC
2001
Springer
101views Mathematics» more  ISSAC 2001»
14 years 4 days ago
Maple's evaluation process as constraint contextual rewriting
Maple’s evaluator, together with a feature that is usually known as the assume facility, is a combination of modules with specialised reasoning capabilities. These modules are i...
Alessandro Armando, Clemens Ballarin
CLEF
2005
Springer
13 years 9 months ago
The Query Answering System PRODICOS
In this paper, we present the PRODICOS query answering system which was developed by the TALN team from the LINA institute. We present the various modules constituting our system a...
Laura Monceaux, Christine Jacquin, Emmanuel Desmon...