Sciweavers

4965 search results - page 92 / 993
» A Simple Abstraction for Data Modeling
Sort
View
ICDE
2007
IEEE
111views Database» more  ICDE 2007»
16 years 7 months ago
MMS: Using Queries As Data Values for Metadata Management
We demonstrate MMS, a system for storing and managing a variety of metadata in a simple, elegant and uniform way. The system is based on two observations. First, that the relation...
Divesh Srivastava, Yannis Velegrakis
CAV
1998
Springer
138views Hardware» more  CAV 1998»
15 years 10 months ago
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...
SETN
2004
Springer
15 years 11 months ago
Taxonomy-Based Annotation of XML Documents: Application to eLearning Resources
In this paper we propose an automatic mechanism for annotating XML documents. This mechanism relies on a simple data model whose main features are: (1) a modeling of XML documents ...
Birahim Gueye, Philippe Rigaux, Nicolas Spyratos
CVPR
2008
IEEE
16 years 8 months ago
Who killed the directed model?
Prior distributions are useful for robust low-level vision, and undirected models (e.g. Markov Random Fields) have become a central tool for this purpose. Though sometimes these p...
Justin Domke, Alap Karapurkar, Yiannis Aloimonos
INFOCOM
2009
IEEE
16 years 29 days ago
Exact Analysis of Latency of Stateless Opportunistic Forwarding
Abstract—Stateless opportunistic forwarding is a simple faulttolerant distributed approach for data delivery and information querying in wireless ad hoc networks, where packets a...
Chi-Kin Chau, Prithwish Basu