Sciweavers

12052 search results - page 2043 / 2411
» computing 2010
Sort
View
AIS
2010
Springer
15 years 4 months ago
Thinking with external representations
Why do people create extra representations to help them make sense of situations, diagrams, illustrations, instructions and problems? The obvious explanation-external representatio...
David Kirsh
CL
2010
Springer
15 years 4 months ago
SystemJ: A GALS language for system level design
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
Avinash Malik, Zoran Salcic, Partha S. Roop, Alain...
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 4 months ago
Quantitative Games on Probabilistic Timed Automata
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Triv...
CORR
2010
Springer
111views Education» more  CORR 2010»
15 years 4 months ago
Directional Dynamics along Arbitrary Curves in Cellular Automata
This paper studies directional dynamics in cellular automata, a formalism previously introduced by the third author. The central idea is to study the dynamical behaviour of a cell...
Martin Delacourt, Victor Poupet, Mathieu Sablik, G...
CORR
2010
Springer
186views Education» more  CORR 2010»
15 years 4 months ago
Significant Interval and Frequent Pattern Discovery in Web Log Data
There is a considerable body of work on sequence mining of Web Log Data We are using One Pass frequent Episode discovery (or FED) algorithm, takes a different approach than the tr...
Kanak Saxena, Rahul Shukla
« Prev « First page 2043 / 2411 Last » Next »