6020 search results - page 1123 / 1204 » A New Approach to Model Counting |
134
click to vote
DEBS
2008
ACM
15 years 6 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...
158
click to vote
JSAC
2008
15 years 4 months ago
2008
Wireless Mesh Networks (WMNs) are envisaged to extend Internet access and other networking services in personal, local, campus, and metropolitan areas. Mesh routers (MR) form the c...
137
click to vote
CCR
2005
15 years 4 months ago
2005
A recent paper [8] presented methods for several steps along the road to synthesis of realistic traffic matrices. Such synthesis is needed because traffic matrices are a crucial i...
155
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: The general problem of RNA secondary structure prediction under the widely used thermodynamic model is known to be NP-complete when the structures considered include a...
148
click to vote
CAD
2004
Springer
15 years 4 months ago
2004
Springer
Although solid models play a central role in modern CAD systems, 2D CAD systems are still commonly used for designing products without complex curved faces. Therefore, an importan...