Sciweavers

1925 search results - page 108 / 385
» Incremental test collections
Sort
View
IWMM
2011
Springer
254views Hardware» more  IWMM 2011»
14 years 9 months ago
Short-term memory for self-collecting mutators
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...
Martin Aigner, Andreas Haas, Christoph M. Kirsch, ...
CVPR
2007
IEEE
16 years 8 months ago
Learning Color Names from Real-World Images
Within a computer vision context color naming is the action of assigning linguistic color labels to image pixels. In general, research on color naming applies the following paradi...
Joost van de Weijer, Cordelia Schmid, Jakob J. Ver...
FORTE
2008
15 years 8 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
CORR
2010
Springer
154views Education» more  CORR 2010»
15 years 6 months ago
A Framework for Agile Development of Component-Based Applications
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
Guillaume Waignier, Estéban Duguepér...
EP
1998
Springer
15 years 10 months ago
Spotting Topics with the Singular Value Decomposition
Abstract. The singular value decomposition, or SVD , has been studied in the past as a tool for detecting and understanding patterns in a collection of documents. We show how the m...
Charles K. Nicholas, Randall Dahlberg