3273 search results - page 260 / 655 » types 2007 |
200
click to vote
FROCOS
2007
Springer
16 years 26 days ago
2007
Springer
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...
153
click to vote
FSTTCS
2007
Springer
16 years 26 days ago
2007
Springer
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...
182
Voted
GFKL
2007
Springer
16 years 26 days ago
2007
Springer
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...
165
click to vote
HUC
2007
Springer
16 years 26 days ago
2007
Springer
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...
202
click to vote
ICMI
2007
Springer
16 years 26 days ago
2007
Springer
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...