Sciweavers

2403 search results - page 102 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
RTSS
2008
IEEE
15 years 12 months ago
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian
ICRA
2008
IEEE
146views Robotics» more  ICRA 2008»
16 years 1 days ago
Exploration of an incremental suite of microscopic models for acoustic event monitoring using a robotic sensor network
— Simulation is frequently used in the study of multi-agent systems. Unfortunately, in many cases, it is not necessarily clear how faithfully the details of the simulated model r...
Christopher M. Cianci, Jim Pugh, Alcherio Martinol...
DRR
2008
15 years 7 months ago
Whole-book recognition using mutual-entropy-driven model adaptation
We describe an approach to unsupervised high-accuracy recognition of the textual contents of an entire book using fully automatic mutual-entropy-based model adaptation. Given imag...
Pingping Xiu, Henry S. Baird
SSD
1999
Springer
116views Database» more  SSD 1999»
15 years 9 months ago
Generalizing Graphs Using Amalgamation and Selection
This work is a contribution to the developing literature on multi-resolution data models. It considers operations for model-oriented generalization in the case where the underlying...
John G. Stell, Michael F. Worboys
JCP
2006
118views more  JCP 2006»
15 years 5 months ago
Learning a Classification-based Glioma Growth Model Using MRI Data
Gliomas are malignant brain tumors that grow by invading adjacent tissue. We propose and evaluate a 3D classification-based growth model, CDM, that predicts how a glioma will grow ...
Marianne Morris, Russell Greiner, Jörg Sander...