Sciweavers

2102 search results - page 264 / 421
» A Relational Model for Object-Oriented Designs
Sort
View
SMC
2010
IEEE
242views Control Systems» more  SMC 2010»
15 years 4 months ago
Analysis of shopping behavior based on surveillance system
—Closed Circuit Television systems in shopping malls could be used to monitor the shopping behavior of people. From the tracked path, features can be extracted such as the relati...
Mirela Popa, Léon J. M. Rothkrantz, Zhenke ...
DASFAA
2010
IEEE
220views Database» more  DASFAA 2010»
15 years 4 months ago
An Effective Object-Level XML Keyword Search
Keyword search is widely recognized as a convenient way to retrieve information from XML data. In order to precisely meet users' search concerns, we study how to effectively r...
Zhifeng Bao, Jiaheng Lu, Tok Wang Ling, Liang Xu, ...
AAAI
2011
14 years 6 months ago
Using Semantic Cues to Learn Syntax
We present a method for dependency grammar induction that utilizes sparse annotations of semantic relations. This induction set-up is attractive because such annotations provide u...
Tahira Naseem, Regina Barzilay
DAC
1997
ACM
15 years 10 months ago
Toward Formalizing a Validation Methodology Using Simulation Coverage
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
Aarti Gupta, Sharad Malik, Pranav Ashar
MSWIM
2006
ACM
16 years 6 hour ago
Testing methodology for an ad hoc routing protocol
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
Stéphane Maag, Fatiha Zaïdi