1307 search results - page 35 / 262 » Follow the intellectual property |
131
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
The overlap number of a finite (d + 1)-uniform hypergraph H is the largest constant c(H) (0, 1] such that no matter how we map the vertices of H into Rd , there is a point covered...
STOC
2003
ACM
16 years 2 days ago
2003
ACM
For a Boolean formula on n variables, the associated property P is the collection of n-bit strings that satisfy . We study the query complexity of tests that distinguish (with hig...
100
click to vote
ECCC
2008
14 years 12 months ago
2008
Testing a property P of graphs in the bounded degree model is the following computational problem: given a graph G of bounded degree d we should distinguish (with probability 0.9,...
APBC
2003
15 years 1 months ago
2003
The interactions of large molecules with surfaces and with each other are strongly dependent upon their surface, rather than their bulk properties. In addition, the local properti...
COMPSAC
2006
IEEE
15 years 5 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...