7167 search results - page 434 / 1434 » Answer Set Programming |
204
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
200
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Recently, significant attention in compressed sensing has been focused on Basis Pursuit, exchanging the cardinality operator with the l1-norm, which leads to a linear formulation...
156
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
178
click to vote
CCGRID
2007
IEEE
16 years 1 months ago
2007
IEEE
Typical computational grid users target only a single cluster and have to estimate the runtime of their jobs. Job schedulers prefer short-running jobs to maintain a high system ut...
157
click to vote
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
– Within the context of Tele-Laboratories for Education the use of the Internet as communication media permits any researcher/student to perform remote experiments in a simple an...