3134 search results - page 369 / 627 » Computing full disjunctions |
74
Voted
EOR
2010
15 years 25 days ago
2010
The Tree-of-Hubs Location Problem is studied. This problem, which combines several aspects of some location, network design and routing problems, is inspired by those transportati...
97
Voted
AIL
2006
15 years 24 days ago
2006
Legal information certification and secured storage combined with documents electronic signature are of great interest when digital documents security and conservation are in conce...
120
Voted
EJC
2008
15 years 24 days ago
2008
It is known that every constraint-satisfaction problem (CSP) reduces, and is in fact polynomially equivalent, to a digraph coloring problem. By carefully analyzing the constructio...
ENGL
2008
15 years 24 days ago
2008
Full comprehension of language comes about by understanding the meaning and the emotion behind the communication. Understanding the meaning of language is the goal of natural lang...
112
click to vote
ENTCS
2008
15 years 24 days ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...