3645 search results - page 127 / 729 » Implementing mapping composition |
149
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
125
Voted
COLING
1996
15 years 3 months ago
1996
We address here the treatment of metonymic expressions from a knowledge representation perspective, that is, in the context of a text understanding system which aims to build a co...
152
click to vote
IEEECIT
2010
IEEE
15 years 15 days ago
2010
IEEE
Abstract--Nowadays, novel applications, such as personalized e-commerce services, call for cooperation across enterprise boundaries. Service-Oriented-Architecture (SOA) forms a sol...
103
Voted
COMGEO
2010
ACM
15 years 7 months ago
2010
ACM
Creating user friendly map interfaces for the mobile platform presents several challenges that are uniquely different from those of their desktop counterparts. High resolution, p...
AAAI
2007
15 years 4 months ago
2007
We describe an application of machine learning to the problem of geomorphic mapping of planetary surfaces. Mapping landforms on planetary surfaces is an important task and the fi...