Sciweavers

1908 search results - page 88 / 382
» Capability Models and Their Applications in Planning
Sort
View
142
Voted
WSC
2008
15 years 7 months ago
Applicability of hybrid simulation to different modes of governance in UK healthcare
Healthcare organizations exhibit both detailed and dynamic complexity. Effective and sustainable decisionmaking in healthcare requires tools that can comprehend this complexity. D...
Kirandeep Chahal, Tillal Eldabi
125
Voted
ICRA
2009
IEEE
143views Robotics» more  ICRA 2009»
15 years 11 months ago
Randomized model predictive control for robot navigation
— We suggest a new navigation approach to mobile robots, within a nonlinear model predictive control framework where a navigation function is used as a control Lyapunov function....
Jorge L. Piovesan, Herbert G. Tanner
POPL
2012
ACM
14 years 5 days ago
An executable formal semantics of C with applications
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
Chucky Ellison, Grigore Rosu
ICDCSW
2007
IEEE
15 years 4 months ago
A Middleware Support for Agent-Based Application Mobility in Pervasive Environments
—Application mobility is an efficient way to mask uneven conditioning and reduce users’ distractions in pervasive environments. However, since mobility brings more dynamism and...
Yu Zhou, Jiannong Cao, Vaskar Raychoudhury, Joanna...
DSS
2006
138views more  DSS 2006»
15 years 4 months ago
Design of a shopbot and recommender system for bundle purchases
The increasing proliferation of online shopping and purchasing has naturally led to a growth in the popularity of comparisonshopping search engines, popularly known as "shopb...
Robert S. Garfinkel, Ram D. Gopal, Arvind K. Tripa...