1222 search results - page 92 / 245 » corr 2008 |
198
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We relate the graph isomorphism problem to the solvability of certain systems of linear equations and linear inequalities. The number of these equations and inequalities is relate...
181
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...
179
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We demonstrate AceWiki that is a semantic wiki using the controlled natural language Attempto Controlled English (ACE). The goal is to enable easy creation and modification of ont...
142
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We investigate the relation between the theory of the iterations in the sense of Shelah-Stupp and of Muchnik, resp., and the theory of the base structure for several logics. These ...
155
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
: The textured images' classification assumes to consider the images in terms of area with the same texture. In uncertain environment, it could be better to take an imprecise ...