535 search results - page 41 / 107 » Do we need dependent types |
ICSE
2010
IEEE-ACM
14 years 16 days ago
2010
IEEE-ACM
The architecture of software systems is known to decay if no counter-measures are taken. In order to prevent this architectural erosion, the conformance of the actual system archi...
EVOW
2006
Springer
13 years 11 months ago
2006
Springer
Singularity is the special feature of fingerprints for identification and classification. Since the performance of singularity extraction depends on the quality of fingerprint imag...
ACL
2008
13 years 9 months ago
2008
In this type-II demo, we introduce SIDE1 (the Summarization Integrated Development Environment), an infrastructure that facilitates construction of summaries tailored to the needs...
GRAPHICSINTERFACE
2009
13 years 5 months ago
2009
Labradorescence is a complex optical phenomenon that can be found in certain minerals, such as Labradorite or Spectrolite. Because of their unique colour properties, these mineral...
JC
2007
13 years 7 months ago
2007
We study the complexity of approximating the smallest eigenvalue of −∆ + q with Dirichlet boundary conditions on the d-dimensional unit cube. Here ∆ is the Laplacian, and th...