Sciweavers

13791 search results - page 2313 / 2759
» Modeling Web Interactions
Sort
View
EUSAI
2004
Springer
16 years 9 days ago
End-User Configuration of Ambient Intelligence Environments: Feasibility from a User Perspective
Abstract. We report research into concepts and technology for enabling endusers to configure Ambient Intelligent environments. In this paper we focus on the feasibility and accepta...
Panos Markopoulos, Irene Mavrommati, Achilles Kame...
187
Voted
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
16 years 9 days ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ICIAR
2004
Springer
16 years 9 days ago
Visual Object Recognition Through One-Class Learning
Abstract. In this paper, several one-class classification methods are investigated in pixel space and PCA (Principal component Analysis) subspace having in mind the need of finding...
QingHua Wang, Luís Seabra Lopes, David M. J...
ISOLA
2004
Springer
16 years 8 days ago
A Formal Analysis of Bluetooth Device Discovery
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...
JELIA
2004
Springer
16 years 8 days ago
Games for Cognitive Agents
Strategic games model the interaction among simultaneous decisions of agents. The starting point of strategic games is a set of players (agents) having strategies (decisions) and p...
Mehdi Dastani, Leendert W. N. van der Torre
« Prev « First page 2313 / 2759 Last » Next »