4401 search results - page 552 / 881 » Computing with Default Logic |
163
click to vote
ICTAC
2007
Springer
16 years 28 days ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...
158
Voted
EDOC
2006
IEEE
16 years 25 days ago
2006
IEEE
Business rules provide an elegant solution to manage dynamic business logic by separating business knowledge from its implementation logic. The drawback of most existing business ...
182
click to vote
ISCA
2006
IEEE
16 years 24 days ago
2006
IEEE
We evaluate the performance of quantum arithmetic algorithms run on a distributed quantum computer (a quantum multicomputer). We vary the node capacity and I/O capabilities, and t...
153
click to vote
LICS
2006
IEEE
16 years 24 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
166
click to vote
ICMCS
2005
IEEE
16 years 11 days ago
2005
IEEE
The ever-increasing complexity of generic MultimediaContent-Analysis-based (MCA) solutions, their processing power demanding nature and the need to prototype and assess solutions ...