7918 search results - page 1487 / 1584 » Model Composition Directives |
119
Voted
FSTTCS
2008
Springer
15 years 1 months ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
107
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
116
Voted
MM
2010
ACM
15 years 27 days ago
2010
ACM
This paper presents some interactive features we have added on our street-view web navigation application. Our system allows to navigate through a huge amount of data (panoramas a...
133
Voted
SIGMOD
2010
ACM
15 years 27 days ago
2010
ACM
Most previous research on privacy-preserving data publishing, based on the k-anonymity model, has followed the simplistic approach of homogeneously giving the same generalized val...
90
Voted
ICMCS
2010
IEEE
15 years 26 days ago
2010
IEEE
Speech processing is an important aspect of affective computing. Most research in this direction has focused on classifying emotions into a small number of categories. However, nu...