Sciweavers

1917 search results - page 231 / 384
» User Model and Utility Based Power Management
Sort
View
ICWE
2010
Springer
15 years 1 months ago
Script Programmers as Value Co-creators
Website owners are gradually realising the benets of viewing customers as co-creators of value. Unfortunately, current development models oer little help in understanding and manag...
Cristóbal Arellano, Oscar Díaz, Jon ...
VTC
2007
IEEE
130views Communications» more  VTC 2007»
15 years 10 months ago
Data Stream Processing Infrastructure for Intelligent Transport Systems
— Intelligence Transportation Systems are critical to improve the efficiency of modern transportation by reducing congestions, providing real time road conditions. A system that...
Eric Bouillet, Mark Feblowitz, Zhen Liu, Anand Ran...
WWW
2008
ACM
16 years 5 months ago
Personalized web exploration with task models
Personalized Web search has emerged as one of the hottest topics for both the Web industry and academic researchers. However, the majority of studies on personalized search focuse...
Jae-wook Ahn, Peter Brusilovsky, Daqing He, Jonath...
FROCOS
2011
Springer
14 years 4 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...
EATIS
2007
ACM
15 years 8 months ago
Ontology Based Affective Context Representation
In this paper we propose an ontology based representation of the affective states for context aware applications that allows expressing the complex relations that are among the af...
Kuderna-Iulian Benta, Anca Rarau, Marcel Cremene