Sciweavers

17456 search results - page 3128 / 3492
» Governing with information technologies
Sort
View
KES
2005
Springer
16 years 10 days ago
Lightweight Agent Framework for Camera Array Applications
This paper describes a lightweight middleware agent framework (LAF) for coordinating a large array of computers with attached cameras to construct high resolution video-rate image ...
Lee Middleton, Sylvia C. Wong, Michael O. Jewell, ...
LOCA
2005
Springer
16 years 10 days ago
Web-Enhanced GPS
Location-based services like reminders, electronic graffiti, and tourist guides normally require a custom, location-sensitive database that must be custom-tailored for the applicat...
Ramaswamy Hariharan, John Krumm, Eric Horvitz
LOCA
2005
Springer
16 years 10 days ago
Prediction of Indoor Movements Using Bayesian Networks
Abstract. This paper investigates the efficiency of in-door next location prediction by comparing several prediction methods. The scenario concerns people in an office building vis...
Jan Petzold, Andreas Pietzowski, Faruk Bagci, Wolf...
MKM
2005
Springer
16 years 10 days ago
Assisted Proof Document Authoring
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
David Aspinall, Christoph Lüth, Burkhart Wolf...
MKM
2005
Springer
16 years 10 days ago
Translating Mathematical Vernacular into Knowledge Repositories
Abstract. Defining functions is a major topic when building mathematical repositories. Though relatively easy in mathematical vernacular, function definitions rise a number of qu...
Adam Grabowski, Christoph Schwarzweller
« Prev « First page 3128 / 3492 Last » Next »