Sciweavers

4934 search results - page 595 / 987
» complexity 2008
Sort
View
JSS
2008
89views more  JSS 2008»
15 years 6 months ago
A search-based framework for automatic testing of MATLAB/Simulink models
Search-based test-data generation has proved successful for code-level testing but almost no search-based work has been carried out at evels of abstraction. In this paper the appl...
Yuan Zhan, John A. Clark
JSW
2008
73views more  JSW 2008»
15 years 6 months ago
Teaching Virtual Experts for Multi-Domain Collaborative Planning
Abstract-- This paper presents an approach to rapid development of virtual planning experts that can collaborate to develop plans of action requiring expertise from multiple domain...
Gheorghe Tecuci, Mihai Boicu, Dorin Marcu, Marcel ...
JSW
2008
99views more  JSW 2008»
15 years 6 months ago
An Intelligent Home Environment based on Service Planning over Peer-to-Peer Overlay Network
With the population of network usage, it is possible to connect home appliances with each other. The basic demand is to connect home appliances easily with less user intervening an...
Chuan-Feng Chiu, Steen J. Hsu, Sen-Ren Jan
JSYML
2008
73views more  JSYML 2008»
15 years 6 months ago
Examining fragments of the quantified propositional calculus
When restricted to proving q i formulas, the quantified propositional proof system G i is closely related to the b i theorems of Buss's theory Si 2. Namely, G i has polynomial...
Steven Perron
JUCS
2008
186views more  JUCS 2008»
15 years 6 months ago
An Agent-Based Solution for Dynamic Supply Chain Management
: Supply chain management (SCM) deals with planning and coordinating activities such as material procurement, product assembly, and the distribution of manufactured products. This ...
Vedran Podobnik, Ana Petric, Gordan Jezic