Sciweavers

713 search results - page 90 / 143
» Reasoning with Projected Contours
Sort
View
ERCIMDL
2003
Springer
124views Education» more  ERCIMDL 2003»
14 years 2 months ago
A Digital GeoLibrary: Integrating Keywords and Place Names
A digital library typically includes a set of keywords (or subject terms) for each document in its collection(s). For some applications, including natural resource management, geog...
Mathew Weaver, Lois M. L. Delcambre, Leonard D. Sh...
ICSE
1998
IEEE-ACM
14 years 1 months ago
Overcoming the NAH Syndrome for Inspection Deployment
: Despite considerable evidence to show that inspections can help reduce costs and improve quality, inspections are not widely deployed in the software industry. One of the likely ...
Pankaj Jalote, M. Haragopal
PLILP
1998
Springer
14 years 1 months ago
Logic Programming and Model Checking
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...
Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kum...
APWEB
2006
Springer
14 years 18 days ago
The Case of the Duplicate Documents Measurement, Search, and Science
Many of the documents in large text collections are duplicates and versions of each other. In recent research, we developed new methods for finding such duplicates; however, as the...
Justin Zobel, Yaniv Bernstein
FLOPS
2006
Springer
14 years 16 days ago
iData for the World Wide Web - Programming Interconnected Web Forms
Abstract. In this paper we present the iData Toolkit. It allows programmers to create interactive, dynamic web applications with state on evel of abstraction. The key element of th...
Rinus Plasmeijer, Peter Achten