Sciweavers

2765 search results - page 232 / 553
» Spatio-temporal Models and Languages: An Approach Based on C...
Sort
View
ISORC
2009
IEEE
16 years 1 months ago
Marte CCSL to Execute East-ADL Timing Requirements
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
Frédéric Mallet, Marie-Agnès ...
EMNLP
2009
15 years 4 months ago
A Bayesian Model of Syntax-Directed Tree to String Grammar Induction
Tree based translation models are a compelling means of integrating linguistic information into machine translation. Syntax can inform lexical selection and reordering choices and...
Trevor Cohn, Phil Blunsom
DATE
1999
IEEE
120views Hardware» more  DATE 1999»
15 years 11 months ago
Hardware Synthesis from C/C++ Models
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
Giovanni De Micheli
ICMCS
2006
IEEE
191views Multimedia» more  ICMCS 2006»
16 years 23 days ago
Tracking of Human Body Joints using Anthropometry
Most of the methods for human motion tracking are based on the modeling of human dynamics in action execution. In even small example space of human activities, the variation in ac...
Alexei Gritai, Mubarak Shah
CSFW
2004
IEEE
15 years 10 months ago
Cassandra: Flexible Trust Management, Applied to Electronic Health Records
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...
Moritz Y. Becker, Peter Sewell