1280 search results - page 48 / 256 » Soft Typing with Conditional Types |
ARSCOM
2005
13 years 9 months ago
2005
A class of graphs called generalized ladder graphs is defined. A sufficient condition for pairs of these graphs to be chromatically equivalent is proven. In addition a formula for...
COMBINATORICS
2004
13 years 9 months ago
2004
New conjectures are proposed on the numbers of FPL configurations pertaining to certain types of link patterns. Making use of the Razumov and Stroganov Ansatz, these conjectures a...
ICANN
2007
Springer
14 years 28 days ago
2007
Springer
Abstract. In this paper we consider the question of whether it is possible to classify n-back EEG data into different memory loads across subjects. To capture relevant information ...
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
DATE
2010
IEEE
14 years 2 months ago
2010
IEEE
— We discuss a fault diagnosis scheme for analog integrated circuits. Our approach is based on an assemblage of learning machines that are trained beforehand to guide us through ...