2713 search results - page 446 / 543 » Parameterized Tree Systems |
203
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
156
click to vote
IJNSEC
2010
15 years 25 days ago
2010
This paper proposes a scheme to provide security to dynamic multicast VoIP systems efficiently. Security is usually provided by encrypting the media packets sent from a user to ot...
192
click to vote
TCBB
2010
15 years 22 days ago
2010
This paper integrates the signal, context and structure features for genome-wide promoter recognition, which is critical in many DNA sequence analysis tasks. First, CpG islands ar...
197
click to vote
EMNLP
2011
14 years 5 months ago
2011
When translating among languages that differ substantially in word order, machine translation (MT) systems benefit from syntactic preordering—an approach that uses features fro...
182
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We pose the problem of 3D human tracking as one of inference in a graphical model. Unlike traditional kinematic tree representations, our model of the body is a collection of loos...