24451 search results - page 4513 / 4891 » Research methods in information |
161
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Many applied problems in domains such as military operations, manufacturing, and logistics require that entities change location under certain constraints. These problems are trad...
162
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
189
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper, we present an appearance-based method for person re-identification. It consists in the extraction of features that model three complementary aspects of the human ap...
183
click to vote
DASFAA
2010
IEEE
15 years 11 months ago
2010
IEEE
Sequence data analysis has been extensively studied in the literature. However, most previous work focuses on analyzing sequence data from a single source or party. In many applica...
155
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...