6719 search results - page 236 / 1344 » A Generalization of Automatic Sequences |
WWW
2005
ACM
14 years 11 months ago
2005
ACM
In this paper, we describe a method of generating link collections in a user-specified category by comprehensively collecting existing link collections and analyzing their hyperli...
MEMOCODE
2005
IEEE
14 years 4 months ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
MICCAI
2001
Springer
14 years 2 months ago
2001
Springer
We developed an automated system that registers chest CT images temporally. Our registration method matches corresponding anatomical landmarks to obtain initial registration parame...
NLPRS
2001
Springer
14 years 2 months ago
2001
Springer
It is important for future NLP systems to formulate the semantic equivalence (and more generally, the semantic similarity) of natural language expressions. In particular, paraphra...
CSSW
2007
13 years 12 months ago
2007
Abstract: Large amounts of information from various sources have often to be considered when collaboratively developing semantic structures. Examining all relevant information can ...