Sciweavers

1926 search results - page 266 / 386
» From P to MP Systems
Sort
View
CHI
2009
ACM
16 years 1 months ago
Understanding knowledge management practices for early design activity and its implications for reuse
Prior knowledge is a critical resource for design, especially when designers are striving to generate new ideas for complex problems. Systems that improve access to relevant prior...
Moushumi Sharmin, Brian P. Bailey, Cole Coats, Kev...
SEUS
2009
IEEE
16 years 1 months ago
Using Context Awareness to Improve Quality of Information Retrieval in Pervasive Computing
Publish-subscribe-query information broker middleware offers great promise to users of pervasive computing systems requiring access to information. However, users of publish-subscr...
Joseph P. Loyall, Richard E. Schantz
FSTTCS
2009
Springer
16 years 1 months ago
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
M. Praveen, Kamal Lodaya
CDC
2008
IEEE
125views Control Systems» more  CDC 2008»
16 years 27 days ago
Estimation of non-stationary Markov Chain transition models
— Many decision systems rely on a precisely known Markov Chain model to guarantee optimal performance, and this paper considers the online estimation of unknown, nonstationary Ma...
Luca F. Bertuccelli, Jonathan P. How
CBMS
2007
IEEE
16 years 23 days ago
Problem Solving Environment for Medical Image Analysis
The development of Medical Image Analysis (MIA) applications that can successfully be applied in clinical practice is difficult for several reasons, one of them being the large am...
Ketan C. Maheshwari, Sílvia Delgado Olabarr...