6167 search results - page 65 / 1234 » Can Refinement be Automated |
FM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
DAC
2006
ACM
14 years 1 months ago
2006
ACM
Statistical static timing analysis (SSTA) has been a popular research topic in recent years. A fundamental issue with applying SSTA in practice today is the lack of reliable and e...
EVOW
2010
Springer
13 years 12 months ago
2010
Springer
An animated evolutionary photomosaic is produced from a sequence of still or static photomosaics to evolve a near match to a given target image. A static photomosaic is composed of...
RIAO
2007
13 years 11 months ago
2007
We propose a method for supporting query refinement using topical term clusters. First, we propose a new term weighting method that can extract terms strongly related to a specifi...
IADIS
2004
13 years 11 months ago
2004
When building Hypermedia/Web Applications, (different) designers are often faced with the same problems over and over again. Those recurring problems soon yield elegant solutions,...