Sciweavers

65 search results - page 11 / 13
» Keeping e-business in perspective
Sort
View
FORTE
1994
13 years 7 months ago
Proving the value of formal methods
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
Gerard J. Holzmann
ISCI
2008
120views more  ISCI 2008»
13 years 6 months ago
Using cooperative mobile agents to monitor distributed and dynamic environments
Monitoring the changes in data values obtained from the environment (e.g., locations of moving objects) is a primary concern in many fields, as for example in the pervasive comput...
Sergio Ilarri, Eduardo Mena, Arantza Illarramendi
KES
2008
Springer
13 years 6 months ago
Semantic Bookmarking and Search in the Earth Observation Domain
This paper describes the experience of introducing a service for semantic bookmarking and search in the Earth Observation (EO) domain. To perform the work reported such a service h...
Francesca Fallucchi, Maria Teresa Pazienza, Noemi ...
NN
2008
Springer
104views Neural Networks» more  NN 2008»
13 years 6 months ago
Recognizing emotions expressed by body pose: A biologically inspired neural model
Research into the visual perception of human emotion has traditionally focused on the facial expression of emotions. Recently researchers have turned to the more challenging field...
Konrad Schindler, Luc J. Van Gool, Béatrice...
CHI
2007
ACM
14 years 6 months ago
Social practices in location-based collecting
The use of location-based technology to augment visitor experiences has received considerable attention over the years. In this paper, we take an alternative perspective on these ...
Kenton O'Hara, Tim Kindberg, Maxine Glancy, Lucian...