2149 search results - page 73 / 430 » Form over Substance |
CADE
2006
Springer
16 years 5 days ago
2006
Springer
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. P...
106
click to vote
AOSD
2010
ACM
15 years 6 months ago
2010
ACM
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper investigates the automatic recognition of emotion from spoken words by vector space modeling vs. string kernels which have not been investigated in this respect, yet. A...
102
click to vote
DILS
2009
Springer
15 years 6 months ago
2009
Springer
Increasingly, biological data is being shared over the deep web. Many biological queries can only be answered by successively searching a number of distinct web-sites. This paper i...
101
click to vote
FCCM
2008
IEEE
15 years 6 months ago
2008
IEEE
Internet Protocol (IP) lookup in routers can be implemented by some form of tree traversal. Pipelining can dramatically improve the search throughput. However, it results in unbal...