Sciweavers

3099 search results - page 465 / 620
» Generating Web Monitors
Sort
View
CADE
2007
Springer
14 years 9 months ago
Optimized Reasoning in Description Logics Using Hypertableaux
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
Boris Motik, Rob Shearer, Ian Horrocks
CVPR
2010
IEEE
14 years 4 months ago
Rectifying rolling shutter video from hand-held devices
This paper presents a method for rectifying video sequences from rolling shutter (RS) cameras. In contrast to previous RS rectification attempts we model distortions as being cau...
Per-Erik Forssen, Erik Ringaby
CSE
2009
IEEE
14 years 4 months ago
Automated Murmurs: The Social Mobile Tourist Application
—The popularity of mobile devices and their increased computing power has given rise to surge in mobile computing technologies. Users are increasingly turning to mobile devices f...
Jill Freyne, Adam J. Brennan, Barry Smyth, Daragh ...
BTW
2009
Springer
173views Database» more  BTW 2009»
14 years 3 months ago
Building Chemical Information Systems - the ViFaChem II Project
: The interdisciplinary ViFaChem II project aims at providing a chemical digital library infrastructure for creating personalized information spaces. The value added services and s...
Sascha Tönnies, Benjamin Köhncke, Oliver...
ESWS
2009
Springer
14 years 3 months ago
Middleware for Automated Implementation of Security Protocols
We propose a middleware for automated implementation of security protocols for Web services. The proposed middleware consists of two main layers: the communication layer and the se...
Béla Genge, Piroska Haller