11328 search results - page 440 / 2266 » Timed Branching Processes |
185
click to vote
SAT
2004
Springer
16 years 1 months ago
2004
Springer
Linear Pseudo-Boolean constraints offer a much more compact formalism to express significant boolean problems in several areas, ranging from Artificial Intelligence to Electroni...
212
click to vote
3DIM
2003
IEEE
16 years 1 months ago
2003
IEEE
Segmentation of 3D human body (HB) scan is a very challenging problem in applications exploiting human scan data. To tackle this problem, this paper proposes a topological approac...
168
click to vote
HICSS
2003
IEEE
16 years 1 months ago
2003
IEEE
A wrong policy is far worse than corruption. It goes without saying that making good policies has its substantial importance and influence. It is assumed that policy information s...
240
click to vote
MICRO
2003
IEEE
16 years 29 days ago
2003
IEEE
Single-event upsets from particle strikes have become a key challenge in microprocessor design. Techniques to deal with these transient faults exist, but come at a cost. Designers...
167
click to vote
ISLPED
2003
ACM
16 years 29 days ago
2003
ACM
High performance processors use checkpointing to rapidly recover from branch mispredictions and possibly other exceptions. We demonstrate that conventional checkpointing becomes u...