Sciweavers

5451 search results - page 967 / 1091
» Typed Operational Semantics
Sort
View
137
Voted
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
15 years 1 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
137
Voted
CIKM
2009
Springer
15 years 1 months ago
Probabilistic models of ranking novel documents for faceted topic retrieval
Traditional models of information retrieval assume documents are independently relevant. But when the goal is retrieving diverse or novel information about a topic, retrieval mode...
Ben Carterette, Praveen Chandar
139
Voted
GI
2009
Springer
15 years 1 months ago
Ontological Modelling of Surgical Knowledge
: Computer Assisted Surgery seeks data from various sources related to surgical knowledge, which is mostly represented in the form of discrete databases. However, databases serve a...
Raj Mudunuri, Oliver Burgert, Thomas Neumuth
146
Voted
ICDAR
2009
IEEE
15 years 1 months ago
New Trends in Digital Scanning Processes
Handwritten document analysis and recognition deals with several different application fields. In document processing, one of the first problems that must be solved is data acquis...
Sebastiano Impedovo, Raffaele Modugno, Anna Ferran...
132
Voted
CORR
2011
Springer
209views Education» more  CORR 2011»
14 years 10 months ago
An Empirical Study of Real-World SPARQL Queries
Understanding how users tailor their SPARQL queries is crucial when designing query evaluation engines or fine-tuning RDF stores with performance in mind. In this paper we analyz...
Mario Arias, Javier D. Fernández, Miguel A....