Sciweavers

734 search results - page 95 / 147
» Feature analysis for architectural evaluation methods
Sort
View
SMC
2007
IEEE
143views Control Systems» more  SMC 2007»
16 years 9 days ago
Enabling gestural interaction by means of tracking dynamical systems models and assistive feedback
— The computational understanding of continuous human movement plays a significant role in diverse emergent applications in areas ranging from human computer interaction to phys...
Yon Visell, Jeremy R. Cooperstock
STTT
2010
122views more  STTT 2010»
15 years 4 months ago
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...
SOFSEM
2007
Springer
16 years 4 days ago
Personalized Presentation in Web-Based Information Systems
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...
Michal Tvarozek, Michal Barla, Mária Bielik...
HPCA
2003
IEEE
16 years 6 months ago
A Statistically Rigorous Approach for Improving Simulation Methodology
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
Joshua J. Yi, David J. Lilja, Douglas M. Hawkins
173
Voted
CBMS
2007
IEEE
16 years 12 days ago
A Large Scale Data Mining Approach to Antibiotic Resistance Surveillance
One of the most considerable functions in a hospital's infection control program is the surveillance of antibiotic resistance. Several traditional methods used to measure it ...
Eugenia G. Giannopoulou, Vasileios P. Kemerlis, Mi...