Sciweavers

1276 search results - page 164 / 256
» Views, change and changing views
Sort
View
84
Voted
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
15 years 4 months ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
81
Voted
IWINAC
2007
Springer
15 years 4 months ago
Automatic Control of Video Surveillance Camera Sabotage
One of the main characteristics of a video surveillance system is its reliability. To this end, it is needed that the images captured by the videocameras are an accurate representa...
Pedro Gil-Jiménez, Roberto Javier Ló...
120
Voted
LADS
2007
Springer
15 years 4 months ago
The Webbridge Framework for Building Web-Based Agent Applications
Abstract. Web applications represent an important category of applications that owe much of their popularity to the ubiquitous accessibility using standard web browsers. The comple...
Alexander Pokahr, Lars Braubach
MFCS
2007
Springer
15 years 4 months ago
Evolvability
A framework for analyzing the computational capabilities and the limitations of the evolutionary process of random change guided by selection was recently introduced by Valiant [V...
Leslie G. Valiant
VLDB
2007
ACM
132views Database» more  VLDB 2007»
15 years 4 months ago
EntityRank: Searching Entities Directly and Holistically
As the Web has evolved into a data-rich repository, with the standard “page view,” current search engines are becoming increasingly inadequate for a wide range of query tasks....
Tao Cheng, Xifeng Yan, Kevin Chen-Chuan Chang