29 search results - page 2 / 6 » fm 2008 |
AIEDAM
2008
15 years 22 hour ago
2008
This work is aimed at establishing a common frame and understanding of function modeling (FM) for our ongoing research activities. A comparative review of the literature is perfor...
TOG
2010
14 years 10 months ago
2010
JAPLL
2007
14 years 11 months ago
2007
In this paper we introduce Fresh Logic, a natural deduction style first-order logic extended with term-formers and quantifiers derived from the model of names and binding in abst...
SIAMDM
1998
14 years 11 months ago
1998
If f(m, n) is the (vertex) independence number of the m × n grid graph, then we show that the double limit η = def limm,n→∞ f(m, n) 1 mn exists, thereby refining earlier res...
DM
2002
14 years 11 months ago
2002
Consider the minimum number f(m, n) of zeroes in a 2m