359 search results - page 31 / 72 » On the number of chord diagrams |
ISCC
2005
IEEE
15 years 5 months ago
2005
IEEE
We propose routing schemes that optimize the average number of hops for lookup requests in Peer–to–Peer (P2P) systems without adding any overhead to the system. Our work is in...
106
click to vote
TGC
2010
Springer
14 years 9 months ago
2010
Springer
Car sharing and car pooling have proven to be an effective solution to reduce the amount of running vehicles by increasing the number of passengers per car amongst medium/big commu...
126
click to vote
ASE
2006
14 years 12 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
DIAGRAMS
2004
Springer
15 years 5 months ago
2004
Springer
The need for Bayesian inference arises in military intelligence, medical diagnosis and many other practical applications. The problem is that human inferences are generally conserv...
196
click to vote
ISQED
2002
IEEE
15 years 4 months ago
2002
IEEE
State-of-the-art verification tools are based on efficient operations on Boolean formulas. Traditional manipulation techniques are based on Binary Decision Diagrams (BDDs) and SAT...