Sciweavers

973 search results - page 71 / 195
» An Integrated Self-Testing Framework for Autonomic Computing...
Sort
View
139
Voted
TSMC
1998
152views more  TSMC 1998»
15 years 3 months ago
Discrete event representation of qualitative models using Petri nets
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
Alessandra Fanni, Alessandro Giua
160
Voted
ISPAN
2009
IEEE
15 years 10 months ago
SoCQ: A Framework for Pervasive Environments
Abstract—Querying non-conventional data sources is recognized as a major issue in new environments and applications such as those occurring in pervasive computing. A key issue is...
Yann Gripay, Frédérique Laforest, Je...
HICSS
2006
IEEE
113views Biometrics» more  HICSS 2006»
15 years 9 months ago
Examining Cross-Agency Collaborations in E-Government Initiatives
Cross-agency collaborations are critical to the success of e-government, which has great potential to transform the way that governments work, share information and deliver servic...
Paul Jen-Hwa Hu, Dai Cui, Alan Charles Sherwood
150
Voted
AI
1998
Springer
15 years 3 months ago
Remote Agent: To Boldly Go Where No AI System Has Gone Before
Renewed motives for space exploration have inspired NASA to work toward the goal of establishing a virtual presence in space, through heterogeneous eets of robotic explorers. Info...
Nicola Muscettola, P. Pandurang Nayak, Barney Pell...
IROS
2008
IEEE
211views Robotics» more  IROS 2008»
15 years 10 months ago
GP-BayesFilters: Bayesian filtering using Gaussian process prediction and observation models
Abstract— Bayesian filtering is a general framework for recursively estimating the state of a dynamical system. The most common instantiations of Bayes filters are Kalman filt...
Jonathan Ko, Dieter Fox