Sciweavers

2052 search results - page 301 / 411
» Direct Combination
Sort
View
ICONIP
2009
15 years 27 days ago
A Rock Structure Recognition System Using FMI Images
Formation Micro Imager (FMI) can directly reflect changes of wall stratum and rock structures. It is also an important method to divide stratum and identify lithology. However, peo...
Xu-Cheng Yin, Qian Liu, Hong-Wei Hao, Zhi-Bin Wang...
IEEESCC
2009
IEEE
15 years 26 days ago
Theoretical Framework for Eliminating Redundancy in Workflows
In this paper we look at combining and compressing a set of workflows, such that computation can be minimized. In this context, we look at two novel theoretical problems with appl...
Dhrubajyoti Saha, Abhishek Samanta, Smruti R. Sara...
CMOT
2010
176views more  CMOT 2010»
15 years 17 days ago
A cognitive model of spatial path-planning
Planning a path to a destination, given a number of options and obstacles, is a common task. We suggest a two-component cognitive model that combines retrieval of knowledge about t...
David Reitter, Christian Lebiere
DMTCS
2010
137views Mathematics» more  DMTCS 2010»
15 years 16 days ago
Deterministic recognizability of picture languages with Wang automata
We present a model of automaton for picture language recognition, called Wang automaton, which is based on labeled Wang tiles. Wang automata combine features of both online tessell...
Violetta Lonati, Matteo Pradella
FUIN
2010
137views more  FUIN 2010»
15 years 15 days ago
Extending and Implementing RASP
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
Stefania Costantini, Andrea Formisano, Davide Pett...