128 search results - page 11 / 26 » Tractable Cover Compilations |
104
Voted
AAAI
2006
15 years 1 months ago
2006
Interactive configurators are decision support systems assisting users in selecting values for parameters that respect given constraints. The underlying knowledge can be convenien...
97
Voted
SIGCSE
2010
ACM
15 years 7 months ago
2010
ACM
Compiler and programming language implementation courses are integral parts of many computer science curricula. However, the range of topics necessary to teach in such a course ar...
110
click to vote
TOPLAS
1998
15 years 3 days ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
108
Voted
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
Gesture recognition is a difficult task in computer vision due to the numerous degrees of freedom of a human hand. Fortunately, human gesture covers only a small part of the theor...
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
Scale-free networks are believed to closely model most real-world networks. An interesting property of such networks is the existence of so-called hub and community structures. In...