9166 search results - page 480 / 1834 » A framework for comparing models of computation |
128
click to vote
ANLP
1997
15 years 8 months ago
1997
In computational morphology the two-level paradigm is regarded as a standard in this paper we describe CATMORF, the rst wide-coverage multi two-level steps morphological analyzer ...
177
click to vote
ICALP
2004
Springer
16 years 8 days ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
173
click to vote
GCC
2003
Springer
16 years 3 days ago
2003
Springer
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
179
click to vote
SYNASC
2005
IEEE
16 years 14 days ago
2005
IEEE
It is known that one of the most disastrous forms of collective human behavior is the kind of crowd stampede induced by panic. This situation often leads to fatalities as people a...
168
click to vote
CVIU
2008
15 years 7 months ago
2008
Geometric approaches for filling-in surface holes are introduced and studied in this paper. The basic idea is to represent the surface of interest in implicit form, and fill-in th...