2701 search results - page 136 / 541 » On the form of witness terms |
157
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
This paper describes the attempts of the COHSE project to define and deploy a Conceptual Open Hypermedia Service. Consisting of ? an ontological reasoning service which is used to...
141
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
In this paper we present "Homie" an artificial companion for elderly people. Our approach emphasizes amusement and benefit - amusement in form of entertainment and benef...
126
click to vote
VLSID
2003
IEEE
16 years 6 months ago
2003
IEEE
In this paper, we provide an analytical framework to study the inter-cell and intra-cell bit-line coupling when it is superimposed with the ground bounce effect and show how those...
154
click to vote
RECOMB
2004
Springer
16 years 6 months ago
2004
Springer
In this paper we describe an algorithm for the localization of structured models, i.e. sequences of (simple) motifs and distance constraints. It basically combines standard patter...
165
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...