7430 search results - page 791 / 1486 » Programming Applications in CIFF |
195
click to vote
ICLP
2005
Springer
16 years 1 months ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
200
click to vote
ISVC
2005
Springer
16 years 1 months 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 (...
152
click to vote
LCTRTS
2005
Springer
16 years 1 months 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...
213
click to vote
MHCI
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...
212
click to vote
PPDP
2005
Springer
16 years 1 months ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...