525 search results - page 44 / 105 » Using Checkable Types in Automatic Protocol Analysis |
180
click to vote
PAMI
2007
15 years 1 months ago
2007
—This paper presents a method for learning decision theoretic models of human behaviors from video data. Our system learns relationships between the movements of a person, the co...
135
Voted
CC
2003
Springer
15 years 7 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
140
Voted
ER
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
121
Voted
EMNLP
2006
15 years 3 months ago
2006
Lexical features are key to many approaches to sentiment analysis and opinion detection. A variety of representations have been used, including single words, multi-word Ngrams, ph...
127
click to vote
IWIA
2005
IEEE
15 years 7 months ago
2005
IEEE
A system for enforcing messaging security policies for both store and forward and streaming messaging protocols on COTS operating system platforms is described. Messaging protocol...