7820 search results - page 350 / 1564 » Formalization of Time and Space |
197
click to vote
MANSCI
2007
15 years 7 months ago
2007
We develop a formal model of the timing of resource development by competing …rms. Our aim is to deepen and extend resource-level theorizing about sustainable competitive advant...
202
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
In this paper we present a method to estimate in real-time the position and orientation of a previously viewed planar patch. The algorithm is based on minimising the sum of squared...
190
click to vote
EUROCAST
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this work we consider the application of metaheuristic algorithms to the problem of fitting rectangular signals to time-data series. The application background is to ...
188
click to vote
EVOW
2004
Springer
16 years 28 days ago
2004
Springer
A data-flow network-based interactive evolutionary design framework is presented which will provide a testbed for the development and exploration of a diverse range of visual arti...
213
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...