6167 search results - page 65 / 1234 » Can Refinement be Automated |
119
Voted
FM
2009
Springer
15 years 4 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 ...
109
Voted
DAC
2006
ACM
15 years 4 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...
105
click to vote
EVOW
2010
Springer
15 years 2 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...
93
Voted
RIAO
2007
15 years 2 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
15 years 2 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,...