Sciweavers

7921 search results - page 402 / 1585
» LSH-preserving functions and their applications
Sort
View
PADL
2001
Springer
15 years 11 months ago
An A-Prolog Decision Support System for the Space Shuttle
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
Monica Nogueira, Marcello Balduccini, Michael Gelf...
SWAP
2008
15 years 8 months ago
LibSwb: Browsing the Entity Context
In this paper we are presenting ongoing work on a software library for on-the-fly browsing of Semantic Web content that forms the informational context around an entity. This libra...
Sven Buschbeck, Stefano Bortoli, Heiko Stoermer
DAIS
2006
15 years 8 months ago
Timing Driven Architectural Adaptation
Computing devices are becoming computing platforms. Not the operating system and hardware characteristics will determine the footprint of an application, but the resources that ar...
Andrew Wils, Yolande Berbers, Tom Holvoet, Karel D...
JFP
2008
61views more  JFP 2008»
15 years 6 months ago
Control reduction theories: the benefit of structural substitution
The historical design of the call-by-value theory of control relies on the reification of evaluation contexts as regular functions and on the use of ordinary term application for ...
Zena M. Ariola, Hugo Herbelin
ICSE
2012
IEEE-ACM
13 years 9 months ago
Temporal analysis of API usage concepts
—Software reuse through Application Programming Interfaces (APIs) is an integral part of software development. The functionality offered by an API is not always accessed uniforml...
Gias Uddin, Barthélémy Dagenais, Mar...