3456 search results - page 576 / 692 » Algorithms for Interface Synthesis |
183
click to vote
GIS
2004
ACM
16 years 25 days ago
2004
ACM
Despite various interoperability recommendations, heterogeneity of Geographic Information Systems (GIS) is still an issue. This led to an increasing need for a data integration sy...
IPMI
2005
Springer
16 years 19 days ago
2005
Springer
We address the problem of the segmentation of cerebral white matter structures from diffusion tensor images. Our approach is grounded on the theoretically well-founded differential...
ICSE
2008
IEEE-ACM
16 years 18 days ago
2008
IEEE-ACM
Graphical models are omnipresent in the software engineering field, but most current graphical modeling languages do not scale with the increasing size and complexity of today...
SIGSOFT
2003
ACM
16 years 16 days ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
WWW
2009
ACM
16 years 14 days ago
2009
ACM
We tackle the problem of disambiguating entities on the Web. We propose a user-driven scheme where graphs of entities ? represented by globally identifiable declarative artifacts ...