2102 search results - page 264 / 421 » A Relational Model for Object-Oriented Designs |
189
click to vote
SMC
2010
IEEE
15 years 4 months ago
2010
IEEE
—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...
189
click to vote
DASFAA
2010
IEEE
15 years 4 months ago
2010
IEEE
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...
194
click to vote
AAAI
2011
14 years 6 months ago
2011
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...
165
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
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...
164
click to vote
MSWIM
2006
ACM
16 years 6 hour ago
2006
ACM
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...