360 search results - page 46 / 72 » The Origins of the Translator's Workstation |
122
Voted
FM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
100
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. We present a deep embedding of Bellantoni and Cook’s syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to...
130
Voted
ACL
2011
14 years 5 months ago
2011
We present an unsupervised model for joint phrase alignment and extraction using nonparametric Bayesian methods and inversion transduction grammars (ITGs). The key contribution is...
120
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
133
Voted
ICIP
2007
IEEE
16 years 3 months ago
2007
IEEE
This paper describes an original method for classifying object motion trajectories in video sequences in order to recognize dynamic events. Similarities between trajectories are e...