Sciweavers

3457 search results - page 207 / 692
» A Symbol Is Not a Symbol
Sort
View
FCT
1999
Springer
15 years 10 months ago
Iterative Arrays with a Wee Bit Alternation
Abstract. An iterative array is a line of interconnected interacting finite automata. One distinguished automaton, the communication cell, is connected to the outside world and fe...
Thomas Buchholz, Andreas Klein, Martin Kutrib
STACS
1999
Springer
15 years 10 months ago
A Logical Characterisation of Linear Time on Nondeterministic Turing Machines
The paper gives a logical characterisation of the class NTIME(n) of problems that can be solved on a nondeterministic Turing machine in linear time. It is shown that a set L of str...
Clemens Lautemann, Nicole Schweikardt, Thomas Schw...
SIGGRAPH
1991
ACM
15 years 10 months ago
Artificial evolution for computer graphics
CT This paper describes how evolutionary techniques of variation and selection can be used to create complex simulated structures, textures, and motions for use in computer graphic...
Karl Sims
AVI
2004
15 years 8 months ago
Sim-U-Sketch: a sketch-based interface for SimuLink
Sim-U-Sketch is an experimental sketch-based interface we developed for Matlab 's Simulink software package. With this tool, users can construct functional Simulink models si...
Levent Burak Kara, Thomas F. Stahovich
AAAI
1997
15 years 7 months ago
Tools for Assembling Modular Ontologies in Ontolingua
The Ontolingua ontology development environment provides a suite of ontology authoring tools and a library of modular reusable ontologies. The environment is available as a World ...
Richard Fikes, Adam Farquhar, James Rice