Sciweavers

1109 search results - page 166 / 222
» Towards an analysis of dynamic environments
Sort
View
HICSS
2007
IEEE
93views Biometrics» more  HICSS 2007»
15 years 4 months ago
Community Crisis Response Teams: Leveraging Local Resources through ICT E-Readiness
Dynamic community crisis response teams form quickly at the onset of a crisis providing assistance until external specialty resources arrive. FEMA recommends individual preparedne...
Elizabeth Avery Gomez, Murray Turoff
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
15 years 4 months ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...
PLDI
2005
ACM
15 years 3 months ago
Path slicing
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
Ranjit Jhala, Rupak Majumdar
MDAI
2005
Springer
15 years 3 months ago
Meta-data: Characterization of Input Features for Meta-learning
Abstract. Common inductive learning strategies offer the tools for knowledge acquisition, but possess some inherent limitations due to the use of fixed bias during the learning p...
Ciro Castiello, Giovanna Castellano, Anna Maria Fa...
ICSOC
2004
Springer
15 years 3 months ago
Automated composition of e-services: lookaheads
The e-services paradigm promises to enable rich, flexible, and dynamic inter-operation of highly distributed, heterogeneous networkenabled services. Among the challenges, a funda...
Cagdas Evren Gerede, Richard Hull, Oscar H. Ibarra...