44 search results - page 8 / 9 » Axiom Pinpointing is Hard |
105
Voted
FDL
2008
IEEE
15 years 6 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
MINENET
2005
ACM
15 years 5 months ago
2005
ACM
BGP routing updates collected by monitoring projects such as RouteViews and RIPE have been a vital source to our understanding of the global routing system. The updates logged by ...
113
click to vote
CCS
2005
ACM
15 years 5 months ago
2005
ACM
Existing reputation systems used by online auction houses do not address the concern of a buyer shopping for commodities—finding a good bargain. These systems do not provide in...
125
click to vote
CORR
2010
Springer
15 years 8 days ago
2010
Springer
Abstract Anna Blasiak Robert Kleinberg Eyal Lubetzky Index Coding has received considerable attention recently motivated in part by applications such as fast video-on-demand and e...
209
click to vote
GIS
2008
ACM
16 years 1 months ago
2008
ACM
Geospatial information integration is not a trivial task. An integrated view must be able to describe various heterogeneous data sources and its interrelation to obtain shared con...