192 search results - page 23 / 39 » Nondeterminism in Constructive Z |
120
click to vote
ITP
2010
15 years 3 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
76
Voted
GEOINFO
2007
15 years 3 months ago
2007
This article presents the evolution of a very large geospatial database and application developed for telecommunications outside plant management. The needs for the construction of...
102
Voted
ALGORITHMICA
2008
15 years 2 months ago
2008
We propose and study the Maximum Constrained Agreement Subtree (MCAST) problem, which is a variant of the classical Maximum Agreement Subtree (MAST) problem. Our problem allows us...
SIAMSC
2008
15 years 1 months ago
2008
We review and compare different computational variational methods applied to a system of fourth order equations that arises as a model of cylinder buckling. We describe both the di...
129
click to vote
TVLSI
2008
15 years 1 months ago
2008
Abstract--In this paper, we introduce a novel substrate noise estimation technique during early floorplanning for mixed signal system-on-chip (SOC), based on block preference direc...