2239 search results - page 279 / 448 » Computing with abstract matrix structures |
123
click to vote
CHI
1995
ACM
15 years 7 months ago
1995
ACM
The field of information retrieval has traditionallyfocused on s consistingof titlesand abstracts. As a consequence, many underlying assumptions must be altered for retrieval fro...
160
click to vote
TLCA
1995
Springer
15 years 7 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
134
Voted
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Even a relatively unstructured captioned image set depicting a variety of objects in cluttered scenes contains strong correlations between caption words and repeated visu...
152
click to vote
ASM
2008
ASM
15 years 5 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
155
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...