Sciweavers

2487 search results - page 333 / 498
» cases 2009
Sort
View
MHCI
2009
Springer
15 years 7 months ago
Expectations for user experience in haptic communication with mobile devices
The haptic modality – the sense of touch – is utilized very limitedly in current human-computer interaction. Especially in mobile communication, the haptic modality could prov...
Jani Heikkinen, Thomas Olsson, Kaisa Vää...
MKM
2009
Springer
15 years 7 months ago
Combined Decision Techniques for the Existential Theory of the Reals
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
Grant Olney Passmore, Paul B. Jackson
98
Voted
MLDM
2009
Springer
15 years 7 months ago
Regional Pattern Discovery in Geo-referenced Datasets Using PCA
Existing data mining techniques mostly focus on finding global patterns and lack the ability to systematically discover regional patterns. Most relationships in spatial datasets ar...
Oner Ulvi Celepcikay, Christoph F. Eick, Carlos Or...
100
Voted
MODELS
2009
Springer
15 years 7 months ago
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
Naeem Esfahani, Sam Malek, João Pedro Sousa...
92
Voted
MODELS
2009
Springer
15 years 7 months ago
Limitations of Automating Model Migration in Response to Metamodel Adaptation
In consequence of changing requirements and technological progress, modeling languages are subject to change. When their metamodels are adapted to reflect those changes, existing ...
Markus Herrmannsdoerfer, Daniel Ratiu