3898 search results - page 618 / 780 » Maintaining Component-Based Systems |
133
click to vote
ITP
2010
15 years 6 months ago
2010
Influenced by the success of the MIZAR system many declarative proof languages have been developed in the theorem prover community, as declarative proofs are more readable, easier...
125
click to vote
AICCSA
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we apply a machine learning approach to the problem of estimating the number of defects called Regression via Classification (RvC). RvC initially automatically discr...
147
click to vote
AINA
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— We propose a unified cross layer routing protocol with multiple constraints for CDMA multihop cellular networks (MCN). Multiple constraints are imposed on intermediate...
133
click to vote
COMPGEOM
2008
ACM
15 years 5 months ago
2008
ACM
This video illustrates an algorithm for computing a maximum number of disjoint paths for unit disks moving among a set of dynamic obstacles in the plane. The problem is motivated ...
119
click to vote
CONEXT
2008
ACM
15 years 5 months ago
2008
ACM
Today's Internet's routing paths are inefficient with respect to both connectivity and the market for interconnection. The former manifests itself via needlessly long pa...