Sciweavers

1789 search results - page 156 / 358
» Extending the Choquet integral
Sort
View
MOBIQUITOUS
2007
IEEE
16 years 27 days ago
Combining GPS and GSM Cell-ID positioning for Proactive Location-based Services
—Mobile terminals with built-in GPS receivers are becoming more and more available, thus the public deployment of location-based services (LBS) becomes feasible. Upcoming LBS are...
Nico Deblauwe, Peter Ruppel
ADBIS
2007
Springer
171views Database» more  ADBIS 2007»
16 years 24 days ago
Quete: Ontology-Based Query System for Distributed Sources
The exponential growth of the web and the extended use of database management systems in widely distributed information systems has brought to the fore the need for seamless interc...
Haridimos Kondylakis, Anastasia Analyti, Dimitris ...
ATVA
2007
Springer
162views Hardware» more  ATVA 2007»
16 years 24 days ago
Verifying Heap-Manipulating Programs in an SMT Framework
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. H...
DFG
2007
Springer
16 years 24 days ago
A Framework for Visualizing Multivariate Geodata
: In urban planning, sophisticated simulation models are key tools to estimate future population growth for measuring the impact of planning decisions on urban developments and the...
Ariane Middel
ECOWS
2007
Springer
16 years 24 days ago
WSMO-Lite: Lightweight Semantic Descriptions for Services on the Web
The current Web service technology brought a new potential to the Web of services. However, the success of Web services still depends on resolving three fundamental challenges, na...
Tomas Vitvar, Jacek Kopecký, Maciej Zaremba...