Sciweavers

4872 search results - page 331 / 975
» CBR for Modeling Complex Systems
Sort
View
ATAL
2003
Springer
15 years 12 months ago
A decision making procedure for collaborative planning
A team of agents planning to perform a complex task make a number of interrelated decisions as they determine precisely how that complex task will be performed. The decision set i...
Timothy W. Rauenbusch, Barbara J. Grosz
COMPLEXITY
2010
129views more  COMPLEXITY 2010»
15 years 4 months ago
The notion of computation is fundamental to an autonomous neuroscience
The increasing sophistication of the tools and results of cellular and molecular neuroscience would appear to suggest that explanatory force in neuroscience is defined by reductio...
Garrett Neske
HASE
2007
IEEE
16 years 1 months ago
Parsimonious Classifiers for Software Quality Assessment
—Modeling  to  predict fault­proneness of software modules is an important area  of research in software engineering. Most such models employ a large number ...
Miyoung Shin, Sunida Ratanothayanon, Amrit L. Goel...
CASCON
2001
115views Education» more  CASCON 2001»
15 years 8 months ago
Lightweight reasoning about program correctness
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
Marsha Chechik, Wei Ding
IESS
2007
Springer
92views Hardware» more  IESS 2007»
16 years 26 days ago
An Interactive Model Re-Coder for Efficient SoC Specification
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...
Pramod Chandraiah, Rainer Dömer