6020 search results - page 127 / 1204 » A New Approach to Model Counting |
127
click to vote
IADIS
2003
15 years 5 months ago
2003
The objective of great investments in telecommunication networks is to approach economies and put an end to the asymmetries. The most isolated regions could be the beneficiaries o...
107
click to vote
NHM
2010
14 years 10 months ago
2010
A quasistatic evolution problem for a phase transition model with nonconvex energy density is considered in terms of Young measures. We focus on the particular case of a finite num...
139
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Electronic commerce applications have special features compared to conventional information systems. First, because electronic commerce usually involves yet nonexisting business a...
115
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
Conventionally, Web pages have been recognized as documents described by HTML. Image data, such as photographs, logos, maps, illustrations, and decorated text, have been treated a...
116
click to vote
IV
2005
IEEE
15 years 9 months ago
2005
IEEE
The conventional force-directed methods for drawing undirected graphs are based on either vertex-vertex repulsion or vertex-edge repulsion. In this paper, we propose a new force-d...