Sciweavers

7366 search results - page 709 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
TGIS
2010
137views more  TGIS 2010»
15 years 5 months ago
Semantic Enablement for Spatial Data Infrastructures
Building on abstract reference models, the Open Geospatial Consortium (OGC) has established standards for storing, discovering, and processing geographical information. These stan...
Krzysztof Janowicz, Sven Schade, Arne Bröring...
KI
1990
Springer
15 years 11 months ago
The Representation of Program Synthesis in Higher Order Logic
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
Christoph Kreitz
IJCSA
2006
96views more  IJCSA 2006»
15 years 7 months ago
Assistance Tool for Conflicts Resolution Through Technical Negotiation
A conflict is a common phenomenon that results from the interaction between both individuals and groups of individuals. For the development of knowledge-based systems, one needs t...
Karima Akli-Astouati
DAWAK
2001
Springer
15 years 11 months ago
Matchmaking for Structured Objects
A fundamental task in multi-agent systems is matchmaking, which is to retrieve and classify service descriptions of agents that (best) match a given service request. Several approa...
Thomas Eiter, Daniel Veit, Jörg P. Mülle...
ICASSP
2010
IEEE
15 years 7 months ago
Reconstruction of sparse signals from distorted randomized measurements
In this paper we show that, surprisingly, it is possible to recover sparse signals from nonlinearly distorted measurements, even if the nonlinearity is unknown. Assuming just that...
Petros Boufounos