Sciweavers

979 search results - page 100 / 196
» Presentations for Abstract Context Institutions
Sort
View
EUROITV
2008
Springer
13 years 9 months ago
'I Want My HDTV'? Underlying Factors of Perceived Usefulness for High Definition Television
Abstract. While traditional technology acceptance models concentrate on relationships between usefulness and acceptance, they leave unresolved the questions about why a certain tec...
Eva Baaren, Lidwien van de Wijngaert, Erik Huizer
CAI
2006
Springer
13 years 8 months ago
A Logical Framework for Identifying and Explaining Unexpected News
The number of news reports published online is now so great that it is impossible for any person to read all of them. Not all of these reports are equally interesting. Automating ...
Emma Byrne
DBSK
2007
98views more  DBSK 2007»
13 years 8 months ago
MTrainSchedule: Combining Web Services and Data Caching on Mobile Devices
Abstract. Despite recent improvements in wireless network protocols and the manufacturing of better, more performant mobile devices, developing mobile applications and services sti...
Iulia Ion, Alexandru Caracas, Hagen Höpfner
TAP
2008
Springer
153views Hardware» more  TAP 2008»
13 years 8 months ago
Bounded Relational Analysis of Free Data Types
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
JBI
2007
13 years 8 months ago
Knowledge construction from time series data using a collaborative exploration system
This paper deals with the exploration of biomedical multivariate time series to construct typical parameter evolution or scenarios. This task is known to be difficult: the tempora...
Thomas Guyet, Catherine Garbay, Michel Dojat