Sciweavers

3582 search results - page 545 / 717
» Designing games with a purpose
Sort
View
GECCO
2007
Springer
180views Optimization» more  GECCO 2007»
16 years 13 days ago
Exploiting multiple robots to accelerate self-modeling
In previous work [8] a computational framework was demonstrated that allows a mobile robot to autonomously evolve models its own body for the purposes of adaptive behavior generat...
Josh C. Bongard
ICCS
2007
Springer
16 years 13 days ago
Healthcare Information Management System in Home Environment
The distributed object group framework (DOGF) enables easier integration of distributed objects to healthcare home applications. This paper describes a healthcare information manag...
Chang-Won Jeong, Chung-Sub Lee, Su-Chong Joo
ICMI
2007
Springer
129views Biometrics» more  ICMI 2007»
16 years 13 days ago
Towards smart meeting: enabling technologies and a real-world application
In this paper, we describe the enabling technologies to develop a smart meeting system based on a three layered generic model. From physical level to semantic level, it consists o...
Zhiwen Yu, Motoyuki Ozeki, Yohsuke Fujii, Yuichi N...
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
16 years 11 days ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon
UIC
2007
Springer
16 years 11 days ago
Persistent Storage System for Efficient Management of OWL Web Ontology
This paper proposes a new persistent storage to efficiently manage OWL Web ontologies. The Semantic Web is recognized as a next direction for progress of the current Web. To realiz...
Dongwon Jeong, Myounghoi Choi, Yang-Seung Jeon, Yo...