6167 search results - page 1181 / 1234 » Can Refinement be Automated |
148
click to vote
MICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
The recent design shift towards multicore processors has spawned a significant amount of research in the area of program parallelization. The future abundance of cores on a singl...
139
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
125
Voted
CICLING
2007
Springer
15 years 10 months ago
2007
Springer
The present paper describes how dependency analysis can be used to automatically extract from a corpus a set of cases - and an accompanying vocabulary - which enable a template-bas...
140
click to vote
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents KES (Knowledge Extraction and Summarization), a new knowledge-enhanced approach that builds a case memory out of episodic textual narratives. These na...
113
Voted
IPSN
2007
Springer
15 years 10 months ago
2007
Springer
— Field biologists use animal sounds to discover the presence of individuals and to study their behavior. Collecting bio-acoustic data has traditionally been a difficult and tim...