7167 search results - page 434 / 1434 » Answer Set Programming |
143
Voted
VLSID
2002
IEEE
16 years 4 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...
148
Voted
ICASSP
2008
IEEE
15 years 10 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...
114
Voted
TASE
2008
IEEE
15 years 10 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...
128
Voted
CCGRID
2007
IEEE
15 years 10 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...
111
Voted
ICCCN
2007
IEEE
15 years 10 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...