697 search results - page 57 / 140 » Symbols are not uniquely human |
107
click to vote
CICLING
2007
Springer
15 years 3 months ago
2007
Springer
In biomedical articles, terms often refer to different protein entities. For example, an arbitrary occurrence of term p53 might denote thousands of proteins across a number of spec...
MICAI
2000
Springer
15 years 2 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
AUTOMATICA
2007
14 years 11 months ago
2007
Optimal control problems for constrained linear systems with a linear cost can be posed as multiparametric linear programs with a parameter in the cost, or equivalently the right-...
114
click to vote
EACL
2010
ACL Anthology
14 years 9 months ago
2010
ACL Anthology
Until recently, referring expression generation (reg) research focused on the task of selecting the semantic content of definite mentions of listener-familiar discourse entities. I...
93
Voted
CHI
2009
ACM
15 years 11 months ago
2009
ACM
Visual markers are graphic symbols designed to be easily recognised by machines. They are traditionally used to track goods, but there is increasing interest in their application ...