6279 search results - page 68 / 1256 » Objects as session-typed processes |
189
click to vote
ADVIS
2006
Springer
15 years 11 months ago
2006
Springer
Recently many researchers have focused on management of historical trajectories of moving objects due to numerous size of accumulated data over time. However, most of them are conc...
108
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
In this paper, a multi-camera architecture is presented for heterogeneous targets analysis and tracking. The proposed system can be switched in various configurations enabling aut...
172
click to vote
VISSOFT
2002
IEEE
15 years 9 months ago
2002
IEEE
Software is inherently dynamic, yet much of the analysis and comprehension processes focus entirely on the static source code of the software. This paper looks at how software vis...
123
click to vote
ICGI
1994
Springer
15 years 9 months ago
1994
Springer
: This paper deals on defining object-oriented inferences by desining a new unification procedure called ?-unification (which leads to a sound and complete resolution) in DF-logic,...
141
Voted
ICIAP
2007
ACM
15 years 8 months ago
2007
ACM
We are working in collaboration with geographers to study a set of pebbles digital images. Among the features geographers want to get automatically, pebble sides number is intuiti...