735 search results - page 110 / 147 » A Mechanization of Phylogenetic Trees |
113
click to vote
CG
2004
Springer
15 years 11 months ago
2004
Springer
Kriegspiel is a Chess variant similar to wargames, in which players have to deal with uncertainty. Kriegspiel increases the difficulty typical of Chess by hiding from each player h...
129
click to vote
CCGRID
2003
IEEE
15 years 11 months ago
2003
IEEE
Application-level multicast (ALM) is being increasingly recognized as a solution to support multipoint applications without the need for a network layer multicast protocol. Though...
158
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper provides an overview of SANDS (Specialized Active Networking for Distributed Simulation), a DARPA-ITO sponsored research project that is using active networking to deve...
141
click to vote
INFOVIS
1999
IEEE
15 years 10 months ago
1999
IEEE
In the process of knowledge discovery, workers examine available information in order to make sense of it. By sensemaking, we mean interacting with and operating on the informatio...
127
click to vote
AIMSA
1990
Springer
15 years 10 months ago
1990
Springer
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...