2689 search results - page 405 / 538 » ParalleX: A Study of A New Parallel Computation Model |
ESOP
2000
Springer
15 years 1 months ago
2000
Springer
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...
ICALP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
103
click to vote
MM
2003
ACM
15 years 3 months ago
2003
ACM
This paper discusses a new technique for detecting affective events using Hidden Markov Models(HMM). To map low level features of video data to high level emotional events, we per...
100
click to vote
AAAI
2006
14 years 11 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
WSC
2004
14 years 11 months ago
2004
This paper reports findings of a study of shock absorber assembly line using computer simulation. The shock absorber assembly line feeds shockers to the motorcycle assembly line. ...