10159 search results - page 1968 / 2032 » System Design Validation Using Formal Models |
208
Voted
Publication
Satellite networks play an indispensable role in providing global Internet access and electronic connectivity. To achieve such a global communications, provisioning of quality of s...
153
Voted
ICCV
2003
IEEE
16 years 4 months ago
2003
IEEE
Surface representation is needed for almost all modeling and visualization applications, but unfortunately, 3D data from a passive vision system are often insufficient for a tradi...
102
Voted
WWW
2007
ACM
16 years 2 months ago
2007
ACM
We present YAGO, a light-weight and extensible ontology with high coverage and quality. YAGO builds on entities and relations and currently contains more than 1 million entities a...
150
click to vote
SIGMOD
2003
ACM
16 years 2 months ago
2003
ACM
We consider the problem of efficiently producing ranked results for keyword search queries over hyperlinked XML documents. Evaluating keyword search queries over hierarchical XML ...
120
Voted
WINE
2009
Springer
15 years 8 months ago
2009
Springer
We study the problem of allocating a single item repeatedly among multiple competing agents, in an environment where monetary transfers are not possible. We design (Bayes-Nash) inc...