166 search results - page 31 / 34 » Formal Methods: Theory Becoming Practice |
161
click to vote
SIGMOD
2008
ACM
15 years 9 months ago
2008
ACM
The proliferation of network data in various application domains has raised privacy concerns for the individuals involved. Recent studies show that simply removing the identities ...
182
click to vote
GIS
2008
ACM
15 years 10 months ago
2008
ACM
Geospatial information integration is not a trivial task. An integrated view must be able to describe various heterogeneous data sources and its interrelation to obtain shared con...
108
click to vote
EKAW
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
114
click to vote
VIS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...