Sciweavers

3273 search results - page 260 / 655
» types 2007
Sort
View
FROCOS
2007
Springer
16 years 26 days ago
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
Viorica Sofronie-Stokkermans
FSTTCS
2007
Springer
16 years 26 days ago
Order Scheduling Models: Hardness and Algorithms
We consider scheduling problems in which a job consists of components of different types to be processed on m machines. Each machine is capable of processing components of a singl...
Naveen Garg, Amit Kumar, Vinayaka Pandit
182
Voted
GFKL
2007
Springer
196views Data Mining» more  GFKL 2007»
16 years 26 days ago
Collaborative Tag Recommendations
Abstract. With the increasing popularity of collaborative tagging systems, services that assist the user in the task of tagging, such as tag recommenders, are more and more require...
Leandro Balby Marinho, Lars Schmidt-Thieme
HUC
2007
Springer
16 years 26 days ago
Tracking Free-Weight Exercises
Weight training, in addition to aerobic exercises, is an important component of a balanced exercise program. However, mechanisms for tracking free weight exercises have not yet bee...
Keng-hao Chang, Mike Y. Chen, John Canny
ICMI
2007
Springer
222views Biometrics» more  ICMI 2007»
16 years 26 days ago
Evaluation of haptically augmented touchscreen gui elements under cognitive load
Adding expressive haptic feedback to mobile devices has great potential to improve their usability, particularly in multitasking situations where one’s visual attention is requi...
Rock Leung, Karon E. MacLean, Martin Bue Bertelsen...