Sciweavers

2944 search results - page 65 / 589
» Robust Semantic Construction
Sort
View
120
Voted
ENTCS
2008
106views more  ENTCS 2008»
15 years 21 days ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
TCC
2007
Springer
110views Cryptology» more  TCC 2007»
15 years 6 months ago
Robuster Combiners for Oblivious Transfer
Abstract. A (k; n)-robust combiner for a primitive F takes as input n candidate implementations of F and constructs an implementation of F, which is secure assuming that at least k...
Remo Meier, Bartosz Przydatek, Jürg Wullschle...
92
Voted
FASE
2009
Springer
15 years 7 months ago
A Formal Way from Text to Code Templates
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
Guido Wachsmuth
83
Voted
ICALT
2009
IEEE
15 years 7 months ago
Korean Word Associations: The Linked Structures for Language Learning
This paper reports on Korean Word Associations (KorWA) which were collected to construct a semantic network for Korean language. An approach of graph representation and network an...
Jaeyoung Jung, Nobuyasu Makoshi, Hiroyuki Akama
177
Voted
CVPR
2009
IEEE
16 years 7 months ago
Understanding Videos, Constructing Plots - Learning a Visually Grounded Storyline Model from Annotated Videos
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...
Abhinav Gupta (University of Maryland), Praveen Sr...