670 search results - page 55 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
122
Voted
ICCV
2009
IEEE
14 years 10 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...
122
Voted
FM
2005
Springer
15 years 6 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...
115
Voted
RE
2004
Springer
15 years 5 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...
134
Voted
JPDC
2007
15 years 13 days 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...
86
Voted
PE
2006
Springer
15 years 14 days 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...