1113 search results - page 68 / 223 » Counter Systems for Data Logics |
136
click to vote
GCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...
143
click to vote
DLOG
2006
15 years 5 months ago
2006
Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the onto...
126
click to vote
HIPEAC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Exposing more instruction-level parallelism in out-of-order superscalar processors requires increasing the number of dynamic in-flight instructions. However, large instru...
115
click to vote
ASPLOS
2012
ACM
14 years 9 hour ago
2012
ACM
Emerging scale-out workloads require extensive amounts of computational resources. However, data centers using modern server hardware face physical constraints in space and power,...
145
click to vote
KDD
2009
ACM
15 years 8 months ago
2009
ACM
Inductive Logic Programming (ILP) systems have been successfully applied to solve complex problems in bioinformatics by viewing them as binary classification tasks. It remains an...