Sciweavers

10890 search results - page 422 / 2178
» Automatic Complexity Analysis
Sort
View
FAABS
2000
Springer
15 years 10 months ago
Design and Mathematical Analysis of Agent-Based Systems
Abstract. Agent-based systems that are composed of simple locally interacting agents but which demonstrate complex group behavior o er several advantages over traditional multi-age...
Kristina Lerman
ICALT
2009
IEEE
16 years 1 months ago
Concept Extraction from Student Essays, Towards Concept Map Mining
This paper presents a new approach for automatic concept extraction, using grammatical parsers and Latent Semantic Analysis. The methodology and tool used to build the benchmarkin...
Jorge J. Villalón, Rafael A. Calvo
HYBRID
2009
Springer
15 years 10 months ago
Applications of MetiTarski in the Verification of Control and Hybrid Systems
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
Behzad Akbarpour, Lawrence C. Paulson
215
Voted
INTEGRATION
2008
183views more  INTEGRATION 2008»
15 years 6 months ago
Network-on-Chip design and synthesis outlook
With the growing complexity in consumer embedded products, new tendencies forecast heterogeneous Multi-Processor SystemsOn-Chip (MPSoCs) consisting of complex integrated component...
David Atienza, Federico Angiolini, Srinivasan Mura...
ICSR
2004
Springer
16 years 6 days ago
Variability and Component Composition
In component-based product populations, variability has to be described at the component level to be able to benefit from a product family approach. As a consequence, composition ...
Tijs van der Storm