Sciweavers

1133 search results - page 111 / 227
» Decision Support Systems Using Hybrid Neurocomputing
Sort
View
ATVA
2005
Springer
131views Hardware» more  ATVA 2005»
15 years 8 months ago
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
Fuzhi Wang, Marta Z. Kwiatkowska
AWIC
2004
Springer
15 years 8 months ago
An Agent Based System for the Contextual Retrieval of Medical Information
As in any other organization, hospital personnel absorb information from their environment, turn it into knowledge, and then make decisions based on it. Hospital Information System...
Marcela Rodríguez, Alfredo Preciado
IWSSD
1993
IEEE
15 years 7 months ago
An Active Hypertext Model for System Requirements
We are developing tools to support a conversational metaphor for requirements definition and analysis. Our conversational model consists of three components: (1) a hypertextual re...
Colin Potts, Kenji Takahashi
HICSS
2010
IEEE
162views Biometrics» more  HICSS 2010»
15 years 10 months ago
Modeling the Impact of Increasing PHEV Loads on the Distribution Infrastructure
Numerous recent reports have assessed the adequacy of current generating capacity to meet the growing electricity demand from Plug-in Hybrid Electric Vehicles (PHEVs) and the pote...
Chris Farmer, Paul Hines, Jonathan Dowds, Seth Blu...
INFOCOM
2003
IEEE
15 years 8 months ago
YAPPERS: A Peer-to-Peer Lookup Service over Arbitrary Topology
— Existing peer-to-peer search networks generally fall into two categories: Gnutella-style systems that use arbitrary topology and rely on controlled flooding for search, and sy...
Prasanna Ganesan, Qixiang Sun, Hector Garcia-Molin...