Sciweavers

3775 search results - page 220 / 755
» The Expression Problem Revisited
Sort
View
ICALT
2008
IEEE
15 years 10 months ago
A Learning Environment for Promoting Structured Algebraic Thinking in Children
Although the notion of generality is central in mathematics and science, being able to identify and express general patterns and/or articulating structures is one of the main difï...
Sergio Gutiérrez Santos, Manolis Mavrikis, ...
TARK
2007
Springer
15 years 10 months ago
Alternating-time temporal logic with explicit strategies
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
Dirk Walther, Wiebe van der Hoek, Michael Wooldrid...
ICDM
2002
IEEE
158views Data Mining» more  ICDM 2002»
15 years 9 months ago
Adaptive dimension reduction for clustering high dimensional data
It is well-known that for high dimensional data clustering, standard algorithms such as EM and the K-means are often trapped in local minimum. Many initialization methods were pro...
Chris H. Q. Ding, Xiaofeng He, Hongyuan Zha, Horst...
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 9 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
NLPRS
2001
Springer
15 years 8 months ago
Paraphrasing Spoken Japanese for Untangling Bilingual Transfer
One of the problems in spoken language translation is the enormous variety of expressions not found in text translation. This volume can lead to a sparse translation coverage. In ...
Kazuhide Yamamoto