Sciweavers

157 search results - page 15 / 32
» Identifying reasoning patterns in games
Sort
View
TARK
2007
Springer
14 years 1 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...
GIS
2008
ACM
14 years 8 months ago
Discovering controlling factors of geospatial variables
Efficient means of determining factors controlling spatial distribution of an environmental class variable are of significant interest in Earth science. In this paper, we present ...
Tomasz F. Stepinski, Wei Ding 0003, Christoph F. E...
ISBI
2004
IEEE
14 years 8 months ago
Detection of Functional Networks In The Resting Brain
Recently, increasing attention has focused on exploring brain activity during rest. A current challenge is to ascertain activity patterns without using an external reference. In t...
Yong He, Yufeng Zang, Tianzi Jiang, Yingli Lu, Xuc...
BPM
2009
Springer
340views Business» more  BPM 2009»
14 years 2 months ago
Abstractions in Process Mining: A Taxonomy of Patterns
ions in Process Mining: A Taxonomy of Patterns R.P. Jagadeesh Chandra Bose1,2 and Wil M.P. van der Aalst1 1 Department of Mathematics and Computer Science, University of Technology...
R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aa...
KDD
2005
ACM
137views Data Mining» more  KDD 2005»
14 years 7 months ago
A generalized framework for mining spatio-temporal patterns in scientific data
In this paper, we present a general framework to discover spatial associations and spatio-temporal episodes for scientific datasets. In contrast to previous work in this area, fea...
Hui Yang, Srinivasan Parthasarathy, Sameep Mehta