2373 search results - page 367 / 475 » On the Theory of Structural Subtyping |
159
click to vote
SIGCSE
2006
ACM
16 years 10 days ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
159
click to vote
SIGIR
2006
ACM
16 years 10 days ago
2006
ACM
This paper presents a study of three statistical query translation models that use different units of translation. We begin with a review of a word-based translation model that us...
171
click to vote
SIGMETRICS
2006
ACM
16 years 10 days ago
2006
ACM
A new methodology to assess transient performance measures of tree-like processes is proposed by introducing the concept of tree-like processes with marked time epochs. As opposed...
162
Voted
HAPTICS
2005
IEEE
16 years 14 hour ago
2005
IEEE
In this paper we propose a new set of primitives to realize a large-area covering realistic tactile display. They stimulate the skin surface with suction pressure (SPS method) as ...
161
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...