Sciweavers

12289 search results - page 834 / 2458
» computing 2006
Sort
View
FOCM
2010
108views more  FOCM 2010»
15 years 6 months ago
Parallelization Method for a Continuous Property
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
Pawel Pilarczyk
IJMI
2010
212views more  IJMI 2010»
15 years 6 months ago
Integrating the SE and HCI models in the human factors engineering cycle for re-engineering Computerized Physician Order Entry s
The integration of Software Engineering (SE) and Human-Computer Interaction (HCI) methods and models is an interesting means for modelling an organization's activities, with ...
Stéphanie Bernonville, Christophe Kolski, N...
JMLR
2010
115views more  JMLR 2010»
15 years 6 months ago
Message-passing for Graph-structured Linear Programs: Proximal Methods and Rounding Schemes
The problem of computing a maximum a posteriori (MAP) configuration is a central computational challenge associated with Markov random fields. There has been some focus on “tr...
Pradeep Ravikumar, Alekh Agarwal, Martin J. Wainwr...
JSA
2010
101views more  JSA 2010»
15 years 6 months ago
Experimental evaluation of slack management in real-time control systems: Coordinated vs. self-triggered approach
Effective slack management, i.e. management of unused computing resources, for real-time control tasks mandates to redistribute the available resources between controllers as a f...
Manel Velasco, Pau Martí, Josep M. Fuertes,...
PUC
2010
128views more  PUC 2010»
15 years 6 months ago
Interaction with large ubiquitous displays using camera-equipped mobile phones
Abstract In the ubiquitous computing environment, people will interact with everyday objects (or computers embedded in them) in ways different from the usual and familiar desktop u...
Seokhee Jeon, Jane Hwang, Gerard Jounghyun Kim, Ma...