1855 search results - page 181 / 371 » Composing model programs for analysis |
138
click to vote
ICPR
2002
IEEE
16 years 4 months ago
2002
IEEE
Humans are articulated objects composed of non-rigid parts. We are interested in detecting and tracking human motions over various periods of time. In this paper we describe a met...
157
Voted
FORMATS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
237
click to vote
HIPC
2009
Springer
15 years 1 months ago
2009
Springer
The significant growth in computational power of modern Graphics Processing Units(GPUs) coupled with the advent of general purpose programming environments like NVIDA's CUDA,...
155
Voted
NAR
2010
14 years 10 months ago
2010
Alternative splicing is an important mechanism for increasing protein diversity. However, its functional effects are largely unknown. Here, we present our new software workflow co...
153
click to vote
GW
2009
Springer
15 years 1 months ago
2009
Springer
In this paper we focus on the analysis of sound producing gestures in the musical domain. We investigate the behavior of intraoral pressure exerted by a trumpet performer in the pr...