725 search results - page 119 / 145 » Complexity of Computing with Extended Propositional Logic Pr... |
124
click to vote
ICS
2005
Tsinghua U.
15 years 8 months ago
2005
Tsinghua U.
In an out-of-order issue processor, instructions are dynamically reordered and issued to function units in their dataready order rather than their original program order to achiev...
132
click to vote
CP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
115
click to vote
ACL
2012
13 years 4 months ago
2012
Argo is a web-based NLP and text mining workbench with a convenient graphical user interface for designing and executing processing workflows of various complexity. The workbench...
131
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
We introduce Recursive Markov Decision Processes (RMDPs) and Recursive Simple Stochastic Games (RSSGs), which are classes of (finitely presented) countable-state MDPs and zero-su...
141
click to vote
HCW
1998
IEEE
15 years 6 months ago
1998
IEEE
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...