11328 search results - page 440 / 2266 » Timed Branching Processes |
158
Voted
SAT
2004
Springer
15 years 11 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...
170
Voted
3DIM
2003
IEEE
15 years 11 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...
130
Voted
HICSS
2003
IEEE
15 years 11 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...
200
click to vote
MICRO
2003
IEEE
15 years 11 months 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...
142
click to vote
ISLPED
2003
ACM
15 years 11 months 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...