Sciweavers

232 search results - page 28 / 47
» Why use computers to make drawings
Sort
View
C5
2005
IEEE
14 years 1 months ago
Filters and Tasks in Croquet
Croquet [11,12] is a collaborative 3D platform that allows users to work together to create and share ideas. From the beginning we have worked to ensure that the Croquet interface...
David A. Smith, Andreas Raab, Yoshiki Ohshima, Dav...
KDD
2002
ACM
125views Data Mining» more  KDD 2002»
14 years 8 months ago
Pattern discovery in sequences under a Markov assumption
In this paper we investigate the general problem of discovering recurrent patterns that are embedded in categorical sequences. An important real-world problem of this nature is mo...
Darya Chudova, Padhraic Smyth
ICFEM
1997
Springer
13 years 11 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
AGS
2009
Springer
14 years 2 months ago
Two Case Studies for Jazzyk BSM
Recently, we introduced Behavioural State Machines (BSM ), a novel programming framework for development of cognitive agents with Jazzyk, its associated programming language and in...
Michael Köster, Peter Novák, David Mai...
IEEECGIV
2006
IEEE
14 years 1 months ago
New Methods in Fractal Imaging
In this paper we draw attention to some recent advances in fractal geometry and point out several ways in which they apply to digital imaging. Simple applications include a method...
Michael F. Barnsley, John Hutchinson