Sciweavers

3814 search results - page 352 / 763
» Extensible Information Brokers
Sort
View
TKDE
1998
184views more  TKDE 1998»
15 years 6 months ago
Supporting Ranked Boolean Similarity Queries in MARS
To address the emerging needs of applications that require access to and retrieval of multimedia objects, we are developing the Multimedia Analysis and Retrieval System (MARS) 29]...
Michael Ortega, Yong Rui, Kaushik Chakrabarti, Kri...
175
Voted
VLC
2002
118views more  VLC 2002»
15 years 6 months ago
Modeling Behaviors of Interactive Objects for Real-Time Virtual Environments
Real-time 3D graphics are being extensively used to build interactive virtual environments for a number of different applications. In many situations, virtual objects are required...
Marcelo Kallmann, Daniel Thalmann
LPAR
2010
Springer
15 years 5 months ago
On Strong Normalization of the Calculus of Constructions with Type-Based Termination
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
Benjamin Grégoire, Jorge Luis Sacchini
NDT
2010
15 years 5 months ago
A Scalable Framework for Serializable XQuery
This paper focuses on an aspect that is widely neglected in native XML database management systems: support for concurrent transactional access. We analyze the isolation requireme...
Sebastian Bächle, Theo Härder
NOMS
2010
IEEE
125views Communications» more  NOMS 2010»
15 years 5 months ago
WIND: A scalable and lightweight network topology service for peer-to-peer applications
Abstract—We present an Internet-scale network topology information (NTI) service named WIND for localizing P2P traffic. Central to WIND are the two simple ideas: 1) obtaining NT...
Hongqiang Liu, Yongqiang Xiong, CongXiao Bao, Xing...