10916 search results - page 317 / 2184 » On Constructive Connectives and Systems |
162
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
180
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
– Nowadays, the Internet provides a convenient medium for sharing complex 3D models online. However, transmitting 3D progressive meshes over networks may encounter the problem of...
163
click to vote
AINA
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— We developed the HAT (Home Appliance Translator) and HAT-Sub to enable conventional appliances without telecommunication capabilities to connect to home networks. The d...
200
click to vote
CLUSTER
2000
IEEE
15 years 11 months ago
2000
IEEE
To construct a large commodity clustec a hierarchical network is generally adopted for connecting the host muchines, where a Gigabit backbone switch connects a few commodity switc...
172
click to vote
COMPGEOM
1999
ACM
15 years 11 months ago
1999
ACM
We show a remarkable fact about folding paper: From a single rectangular sheet of paper, one can fold it into a flat origami that takes the (scaled) shape of any connected polygo...