Sciweavers

3813 search results - page 463 / 763
» Advanced Interaction in Context
Sort
View
ECAI
2004
Springer
16 years 2 days ago
The Use of Temporal Reasoning and Management of Complex Events in Smart Homes
Technological advancements have and will revolutionise the support offered to persons in their home environment. As the population continues to grow and in addition the percentage ...
Juan Carlos Augusto, Chris D. Nugent
MKM
2004
Springer
16 years 1 days ago
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For eļ...
Grzegorz Bancerek, Josef Urban
CW
2003
IEEE
15 years 12 months ago
Virtual Experiment Environments Design for Science Education
Virtual reality technology is reported that the use of virtual reality(VR) as an educational tool can increase student interests, understanding and creative learning because of en...
Young-suk Shin
IPPS
2003
IEEE
15 years 12 months ago
An Executable Analytical Performance Evaluation Approach for Early Performance Prediction
Percolation has recently been proposed as a key component of an advanced program execution model for future generation high-end machines featuring adaptive data/code transformatio...
Adeline Jacquet, Vincent Janot, Clement Leung, Gua...
IPPS
2003
IEEE
15 years 12 months ago
Performance Modeling for Entity-Level Simulations
Advances across many fields of study are driving changes in the basic nature of scientific computing applications. Scientists have recognized a growing need to study phenomena b...
Alan Su, Francine Berman, Henri Casanova