5205 search results - page 129 / 1041 » Tilings and model theory |
IJCNLP
2005
Springer
14 years 2 months ago
2005
Springer
Research on linear text segmentation has been an on-going focus in NLP for the last decade, and it has great potential for a wide range of applications such as document summarizati...
SIGGRAPH
1995
ACM
14 years 17 days ago
1995
ACM
A method is presented to broaden implicit surface modeling. The implicit surfaces usually employed in computer graphics are two dimensional manifolds because they are defined by r...
DNA
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Nature is considered one promising area to search for inspiration in designing robotic systems. Some work in swarm robotics has tried to build systems that resemble distr...
ICDE
2011
IEEE
13 years 22 days ago
2011
IEEE
— Array database systems are architected for scientific and engineering applications. In these applications, the value of a cell is often imprecise and uncertain. There are at le...
CSL
2004
Springer
14 years 2 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...