5244 search results - page 712 / 1049 » Structural Complexity of AvgBPP |
238
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper deals with the traditional IP address lookup problem with fast updates. We propose a B-tree data structure, called MMSPT (Multiway Most Specific Prefix Tree), which i...
205
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Despite their success as optimization methods, evolutionary algorithms face many difficulties to design artifacts with complex structures. According to paleontologists, living...
181
click to vote
GCB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract: The analysis of RNA folding landscapes yields insights into the kinetic folding behavior not available from classical structure prediction methods. This is especially imp...
162
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...
165
click to vote
DEBS
2009
ACM
16 years 1 months ago
2009
ACM
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...