4385 search results - page 232 / 877 » Abstraction for Concurrent Objects |
126
click to vote
CLEAR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper describes a system for tracking people and vehicles for stationary-camera visual surveillance. The appearance of objects being tracked is modeled using mixture...
EJC
2008
14 years 11 months ago
2008
Abstract. In this paper we enumerate the number of ways of selecting k objects from n objects arrayed in a line such that no two selected ones are separated by m-1, 2m-1,
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. Usually, mathematical objects have highly parallel interpretations. In this paper, we consider them as sequential constructors of other objects. In particular, we prove t...
ECOOP
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...
117
click to vote
CONSTRAINTS
2008
14 years 11 months ago
2008
Abstract. Essence is a formal language for specifying combinatorial problems, in a manner similar to natural rigorous specifications that use a mixture of natural language and disc...