3005 search results - page 518 / 601 » Logical Information Systems: from Taxonomies to Logics |
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
117
click to vote
CIA
2004
Springer
15 years 7 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
107
click to vote
GCC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper, we constructed the Distributed Object Group Framework(DOGF) which is a reconfigurable architecture supporting dynamically adaptation of distributed service...
125
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...
108
click to vote
ISHPC
2003
Springer
15 years 7 months ago
2003
Springer
We developed a multithreaded parallel implementation of a sequence alignment algorithm that is able to align whole genomes with reliable output and reasonable cost. This paper pres...