1220 search results - page 134 / 244 » Dependent classes |
76
Voted
JSAC
2010
14 years 11 months ago
2010
—Shannon’s discovery of digital communication has shaped the architecture of virtually all communication systems in use today. The digital communication paradigm is built aroun...
109
Voted
LICS
2010
IEEE
14 years 11 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
115
Voted
EMSOFT
2010
Springer
14 years 10 months ago
2010
Springer
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
146
click to vote
SMC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Finding the longest simple path in a generic undirected graph is a challenging issue that belongs to the NPComplete class of problems. Four approaches based on genetic al...
140
Voted
IADIS
2009
14 years 10 months ago
2009
Web-based learning environments are extensively used nowadays. These environments maintain and produce vast amounts of data. Such vastness lead to the application of data mining t...