Sciweavers

6299 search results - page 980 / 1260
» Data and Computation Abstractions for Dynamic and Irregular ...
Sort
View
FIDJI
2003
Springer
15 years 12 months ago
Model Generation for Distributed Java Programs
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
Rabéa Boulifa, Eric Madelaine
HUC
2003
Springer
15 years 12 months ago
Inferring High-Level Behavior from Low-Level Sensors
Abstract. We present a method of learning a Bayesian model of a traveler moving through an urban environment. This technique is novel in that it simultaneously learns a unified mo...
Donald J. Patterson, Lin Liao, Dieter Fox, Henry A...
ACIVS
2009
Springer
15 years 11 months ago
Unusual Activity Recognition in Noisy Environments
Abstract. In this paper we present a method for unusual activity recognition that is used in home environment monitoring. Monitoring systems are needed in elderly persons homes to ...
Matti Matilainen, Mark Barnard, Olli Silvén
160
Voted
ICSOC
2009
Springer
15 years 11 months ago
End-to-End Security for Enterprise Mashups
Abstract. Mashups are gaining momentum as a means to develop situational Web applications by combining different resources (services, data feeds) and user interfaces. In enterpris...
Florian Rosenberg, Rania Khalaf, Matthew J. Duftle...
DAWAK
2007
Springer
15 years 10 months ago
An Efficient Algorithm for Identifying the Most Contributory Substring
Abstract. Detecting repeated portions of strings has important applications to many areas of study including data compression and computational biology. This paper defines and pres...
Ben Stephenson