Sciweavers

8196 search results - page 446 / 1640
» Computational Modeling and Complexity Science
Sort
View
ERSHOV
2006
Springer
15 years 10 months ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....
SOFSEM
2000
Springer
15 years 10 months ago
Hierarchies of Sensing and Control in Visually Guided Agents
The capability of perceiving the environment is crucial for advancing the level of autonomy and sophistication of (semi)autonomous robotic systems and determines the complexity of ...
Jana Kosecka
GI
2009
Springer
15 years 10 months ago
Object-oriented application development with MeVisLab and Python
: MeVisLab is a research and rapid prototyping platform for medical image processing developed by MeVis Medical Solutions AG and Fraunhofer MEVIS. We present an object-oriented app...
Frank Heckel, Michael Schwier, Heinz-Otto Peitgen
CSR
2008
Springer
15 years 8 months ago
Cracks in the Defenses: Scouting Out Approaches on Circuit Lower Bounds
Razborov and Rudich identified an imposing barrier that stands in the way of progress toward the goal of proving superpolynomial lower bounds on circuit size. Their work on "n...
Eric Allender
GI
2008
Springer
15 years 8 months ago
Towards an automated detection of self-organizing behavior
Abstract: In this paper we present an entropy based method to analyze complex systems. Systems are treated as black boxes, which only expose information by some specified paramete...
Wolfgang Trumler, Mike Gerdes