Sciweavers

533 search results - page 41 / 107
» Computational Complexity Aspects in Membrane Computing
Sort
View
ERSHOV
2006
Springer
14 years 1 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....
PPSN
2000
Springer
14 years 1 months ago
Interacting Trajectories in Design Space and Niche Space: A Philosopher Speculates About Evolution
Abstract. There are evolutionary trajectories in two different but related spaces, design space and niche space. Coevolution occurs in parallel trajectories in both spaces, with co...
Aaron Sloman
LWA
2008
13 years 11 months ago
Compensating the Semantic Bias of Spreadsheets
Spreadsheets are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direct approach to computation. They r...
Andrea Kohlhase, Michael Kohlhase
FLAIRS
2000
13 years 11 months ago
A Parallel Approach to Modeling Language Learning and Understanding in Young Children
To reduce the complexity of studying a parallel mechanism for natural language learning and understanding which supports both utterance and discourse processing, we propose a comp...
Charles Hannon, Diane J. Cook
SAC
2008
ACM
13 years 9 months ago
PHALANX: a graph-theoretic framework for test case prioritization
Test case prioritization for regression testing can be performed using different metrics (e.g., statement coverage, path coverage) depending on the application context. Employing ...
Murali Krishna Ramanathan, Mehmet Koyutürk, A...