2128 search results - page 181 / 426 » A general characterization of indulgence |
180
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
A new methodology is presented to solve a strongly nonlinear circuit, characterized by Piece-Wise Linear (PWL) functions, symbolically and explicitly in terms of its circuit param...
145
click to vote
GROUP
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents an exploratory study of college-age students using two-way, push-to-talk cellular radios. We describe the observed and reported use of cellular radio by the pa...
142
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
Abstract The goal of the proposed capacity planning tool is to provide the best cost/performance configuration for support of a known media service workload. There are two essenti...
210
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
155
click to vote
COCO
2003
Springer
15 years 11 months ago
2003
Springer
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...