Sciweavers

10156 search results - page 177 / 2032
» Step by Step to Histories
Sort
View
COGSCI
2002
83views more  COGSCI 2002»
15 years 7 months ago
Strategies in sentential reasoning
Four experiments examined the strategies that individuals develop in sentential reasoning. They led to the discovery of five different strategies. According to the theory proposed...
Jean-Baptiste Van der Henst, Yingrui Yang, Philip ...
RAS
1998
145views more  RAS 1998»
15 years 6 months ago
Coordinated path planning for multiple robots
We present a new approach to the multi-robot path planning problem, where a number of robots are to change their positions through feasible motions in the same static environment....
Petr Svestka, Mark H. Overmars
SPEECH
2002
66views more  SPEECH 2002»
15 years 6 months ago
Spanish recognizer of continuously spelled names over the telephone
In this paper we present a hypothesis-verification approach for a Spanish Recognizer of continuously spelled names over the telephone. We give a detailed description of the spelli...
Rubén San Segundo, José Colás...
ASUNAM
2010
IEEE
15 years 6 months ago
A Multiobjective and Evolutionary Clustering Method for Dynamic Networks
—The discovery of evolving communities in dynamic networks is an important research topic that poses challenging tasks. Previous evolutionary based clustering methods try to maxi...
Francesco Folino, Clara Pizzuti
ENTCS
2008
94views more  ENTCS 2008»
15 years 5 months ago
On the Convergence of Reduction-based and Model-based Methods in Proof Theory
In the recent past, the reduction-based and the model-based methods to prove cut elimination have converged, so that they now appear just as two sides of the same coin. This paper...
Gilles Dowek