Sciweavers

4397 search results - page 402 / 880
» Relational Algebra Operations
Sort
View
ACSAC
2009
IEEE
16 years 1 months ago
Semantically Rich Application-Centric Security in Android
—Smartphones are now ubiquitous. However, the security requirements of these relatively new systems and the applications they support are still being understood. As a result, the...
Machigar Ongtang, Stephen E. McLaughlin, William E...
SCALESPACE
2009
Springer
16 years 24 days ago
Line Enhancement and Completion via Linear Left Invariant Scale Spaces on SE(2)
From an image we construct an invertible orientation score, which provides an overview of local orientations in an image. This orientation score is a function on the group SE(2) of...
Remco Duits, Erik Franken
ROBIO
2006
IEEE
120views Robotics» more  ROBIO 2006»
16 years 8 days ago
Event Based Methodology for SuperMedia Enhanced Teleoperation
- SuperMedia provides human operators rich environmental information, thus providing telepresence and enhances efficiency of operation. However, coupling human with the remote envi...
Yang Liu, Amit Goradia, Yonghui Xue, Ning Xi
167
Voted
VLDB
2004
ACM
144views Database» more  VLDB 2004»
15 years 11 months ago
Returning Modified Rows - SELECT Statements with Side Effects
SQL in the IBM® DB2® Universal Database™ for Linux®, UNIX®, and Windows® (DB2 UDB) database management product has been extended to support nested INSERT, UPDATE, and DELET...
Andreas Behm, Serge Rielau, Richard Swagerman
TPHOL
2002
IEEE
15 years 11 months ago
Type-Theoretic Functional Semantics
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
Yves Bertot, Venanzio Capretta, Kuntal Das Barman