288 search results - page 49 / 58 » Interactive Termination Proofs Using Termination Cores |
177
click to vote
CG
2002
Springer
15 years 6 months ago
2002
Springer
Weather is one of the major causes of aviation accidents. General aviation (GA) flights account for 92% of all the aviation accidents. In spite of all the official and unofficial ...
171
click to vote
CMSB
2007
Springer
16 years 23 days ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
202
click to vote
ISMIR
2000
Springer
15 years 10 months ago
2000
Springer
Active listening is the core of musical activity Listening does not only concern receiving musical information. On the contrary, it is "active" and based on a set of int...
174
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper presents an efficient and scalable coding scheme for transmitting a stream of 3D models extracted from a video of a static scene. As in classical model-based video codi...
167
click to vote
IWSOS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we have investigated the feasibility of a selforganized evacuation process when compared with a centralized control. The evacuation strategy is based on â€...