93 search results - page 15 / 19 » Automatic Discovery of Part-Whole Relations |
ASIAN
2006
Springer
13 years 11 months ago
2006
Springer
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
COSIT
2003
Springer
14 years 17 days ago
2003
Springer
Abstract. The navigation task is a very demanding application for mobile users. The algorithms of present software solutions are based on the established methods of car navigation ...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
The Web Mashup Scripting Language (WMSL) enables an enduser ("you") working from his browser, e.g. not needing any other infrastructure, to quickly write mashups that in...
GIR
2007
ACM
13 years 11 months ago
2007
ACM
DIGMAP is a project focused on historical digitized maps that will develop a set of Internet services based on reusable open-source software solutions. The main service will provi...
IPM
2007
13 years 7 months ago
2007
Most knowledge accumulated through scientific discoveries in genomics and related biomedical disciplines is buried in the vast amount of biomedical literature. Since understandin...