670 search results - page 55 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
ICCV
2009
IEEE
13 years 6 months ago
2009
IEEE
We present an integrated model for visual object localization and continuous state estimation in a discriminative structured prediction framework. While existing discriminative `p...
FM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
RE
2004
Springer
14 years 2 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
JPDC
2007
13 years 8 months ago
2007
Client interactions with modern web-accessible network services are typically organized into sessions involving multiple requests that read and write shared application data. Ther...
PE
2006
Springer
13 years 9 months ago
2006
Springer
This paper proposes a stochastic fluid flow model to compute the transfer time distribution of resources in peer-to-peer file sharing applications. The amount of bytes transferred...