Sciweavers

480 search results - page 81 / 96
» Specification for User Modeling with Self-Observing Systems
Sort
View
EWCBR
2008
Springer
13 years 10 months ago
Realising a CBR-based approach for Computer Cooking Contest with e: IAS
Abstract. This paper describes a web-based CBR application competing at the first Computer Cooking Contest at the ECCBR 2008. It describes the technical realisation of our system, ...
Alexandre Hanft, Norman Ihle, Kerstin Bach, R&eacu...
CORR
2010
Springer
157views Education» more  CORR 2010»
13 years 9 months ago
Context Ontology Implementation for Smart Home
Context awareness is one of the important fields in ubiquitous computing. Smart Home, a specific instance of ubiquitous computing, provides every family with opportunities to enjo...
Tam Van Nguyen, Wontaek Lim, Huy Anh Nguyen, Deokj...
MASCOTS
2001
13 years 10 months ago
Packet Reading for Network Emulation
A network emulator, such as the Internet Protocol Traffic and Network Emulator (IP-TNE), enables real applications running on external hosts to interact via a virtual network mode...
Russell Bradford, Rob Simmonds, Brian Unger
CONCUR
2007
Springer
14 years 27 days ago
Temporal Antecedent Failure: Refining Vacuity
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
WWW
2004
ACM
14 years 9 months ago
Authoring of learning styles in adaptive hypermedia: problems and solutions
Learning styles, as well as the best ways of responding with corresponding instructional strategies, have been intensively studied in the classical educational (classroom) setting...
Natalia Stash, Alexandra I. Cristea, Paul De Bra