633 search results - page 13 / 127 » A Few Constructions on Constructors |
LICS
2012
IEEE
11 years 9 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
Phylogenetic trees are commonly reconstructed based on hard optimization problems such as Maximum parsimony (MP) and Maximum likelihood (ML). Conventional MP heuristics for produc...
DCOSS
2009
Springer
13 years 11 months ago
2009
Springer
In this paper, we present the design and implementation of a sensor network system for monitoring the flow of traffic through temporary construction work zones. As opposed to long-...
ASSETS
2008
ACM
13 years 9 months ago
2008
ACM
Few voice-in/voice-out applications are available on the web. The problem appears to be the lack of appropriate open-source tools. More speech applications would increase the func...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...