13987 search results - page 2632 / 2798 » The Two Guards Problem |
ICA
2004
Springer
14 years 1 months ago
2004
Springer
The acoustic environment poses at least two important challenges. First, animals must localise sound sources using a variety of binaural and monaural cues; and second they must sep...
ICSR
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...
ICTAC
2004
Springer
14 years 1 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
ICWE
2004
Springer
14 years 1 months ago
2004
Springer
A data–intensive Web application is a Web-enabled software system for the publication and management of large data collections, typically stored in one or more database manageme...
ICWE
2004
Springer
14 years 1 months ago
2004
Springer
The recent trend in the Internet traffic is increasing in requests for dynamic and personalized content. To efficiently serve this trend, several serverside and cache-side fragme...