4328 search results - page 169 / 866 » A New Kind of Science |
173
click to vote
RTA
2007
Springer
16 years 22 days ago
2007
Springer
We present a method of lifting to explicit substitution calculi some characterizations of the strongly normalizing terms of λ-calculus by means of intersection type systems. The m...
145
click to vote
SOFSEM
2007
Springer
16 years 22 days ago
2007
Springer
Indexing of factors is a widely used and useful technique in stringology and can be seen as a tool in solving diverse text algorithmic problems. A gapped-factor is a concatenation ...
171
click to vote
SPIN
2007
Springer
16 years 22 days ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
140
click to vote
WG
2007
Springer
16 years 22 days ago
2007
Springer
NLC-width is a variant of clique-width with many application in graph algorithmic. This paper is devoted to graphs of NLC-width two. After giving new structural properties of the ...
140
click to vote
COMPSAC
2006
IEEE
16 years 21 days ago
2006
IEEE
With the globalization of markets and the creation of software to address these markets, educators face new curriculum challenges. They must expose students not only to core scien...