3323 search results - page 492 / 665 » Computational Semantics with Functional Programming |
176
click to vote
CN
2002
15 years 6 months ago
2002
Abstract-The delivery of large files to single users, such as application programs for some versions of the envisioned network computer, or movies, is expected by many to be one of...
233
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Bioinformatic analyses typically proceed as chains of data-processing tasks. A pipeline, or ‘workflow’, is a well-defined protocol, with a specific structure defin...
271
click to vote
SIGCSE
2006
ACM
16 years 13 days ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
230
click to vote
ESOP
2005
Springer
16 years 20 hour ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
256
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Analyzing videos of human activities involves not only
recognizing actions (typically based on their appearances),
but also determining the story/plot of the video. The storyline...