Sciweavers

4385 search results - page 327 / 877
» Abstraction for Concurrent Objects
Sort
View
DAGM
2003
Springer
15 years 12 months ago
Local Representations for Multi-object Recognition
Abstract. Methods for the recognition of multiple objects in images using local representations are introduced. Starting from a straight forward approach, we combine the use of loc...
Thomas Deselaers, Daniel Keysers, Roberto Paredes,...
LICS
1994
IEEE
15 years 10 months ago
Linear Logic, Totality and Full Completeness
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
Ralph Loader
SSD
1995
Springer
97views Database» more  SSD 1995»
15 years 10 months ago
Ranking in Spatial Databases
Abstract. An algorithm for ranking spatial objects according to increasing distance from a query object is introduced and analyzed. The algorithm makes use of a hierarchical spatia...
Gísli R. Hjaltason, Hanan Samet
162
Voted
HCI
2007
15 years 8 months ago
Role of Humans in Complexity of a System-of-Systems
Abstract. This paper pursues three primary objectives. First, a brief introduction to system-of-systems is presented in order to establish a foundation for exploration of the role ...
Daniel DeLaurentis
IMECS
2007
15 years 8 months ago
Clos Solutions to Binary Methods
Abstract—Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise, such as typing (covariance vs. contravariance of the argument...
Didier Verna