3090 search results - page 357 / 618 » On Testing Answer-Set Programs |
166
click to vote
ESOP
2005
Springer
16 years 4 days ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
157
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
Checking if microprocessor cores are fully functional at the end of the productive process has become a major issue. Traditional functional approaches are not sufficient when cons...
140
click to vote
HPCC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
176
click to vote
ISVC
2005
Springer
16 years 3 days ago
2005
Springer
We present a hybrid classification method applicable to gesture recognition. The method combines elements of Hidden Markov Models (HMM) and various Dynamic Programming Alignment (...
132
Voted
LCTRTS
2005
Springer
16 years 3 days ago
2005
Springer
Applications running on the StrongARM SA-1110 or XScale processor cores can specify cache mapping for each virtual page to achieve better cache utilization. In this work, we descr...