Sciweavers

6104 search results - page 329 / 1221
» Constructing Information Bases Using Associative Structures
Sort
View
SAC
2006
ACM
15 years 11 months ago
Automatic structured query transformation over distributed digital libraries
Structured data and complex schemas are becoming the main way to represent the information many Digital Libraries provide, thus impacting the services they offer. When searching i...
M. Elena Renda, Umberto Straccia
POPL
2010
ACM
16 years 2 months ago
Low-Level Liquid Types
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala
IAJIT
2011
14 years 12 months ago
Novel robust multilevel 3D visualization technique for web based GIS
: Number of recent technologies take Geographic Information Systems to new levels of power and usability. One of the most promising technologies that empower Geographic Information...
Hatem Abdul-Kader, Mohamed Sherif
HICSS
2000
IEEE
133views Biometrics» more  HICSS 2000»
15 years 9 months ago
Value based Requirements Creation for Electronic Commerce Applications
Electronic commerce applications have special features compared to conventional information systems. First, because electronic commerce usually involves yet nonexisting business a...
Jaap Gordijn, Hans Akkermans, Hans van Vliet
FSKD
2011
Springer
313views Fuzzy Logic» more  FSKD 2011»
14 years 4 months ago
Robust initialization for reasoning procedures in a hierarchical heterogeneous knowledge-base
—This paper describes a model of a hierarchical, heterogeneous knowledge-base. The proposed model consists of an associative level that is implemented by a Kanerva-like sparse di...
Slobodan Ribaric, Darijan Marcetic, Zongmin Ma