Sciweavers

2623 search results - page 301 / 525
» tools 2010
Sort
View
ENTCS
2002
101views more  ENTCS 2002»
15 years 5 months ago
A categorical framework for typing CCS-style process communication
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
Ralf Schweimeier
AAI
2010
200views more  AAI 2010»
15 years 4 months ago
An Interactive Model for Steering Behaviors of Groups of Characters
This paper presents an approach for generating steering behaviors of groups of characters based on the space colonization algorithm, that has been used in the past for generating l...
Rafael Araújo Rodrigues, Alessandro de Lima...
COGSCI
2010
87views more  COGSCI 2010»
15 years 3 months ago
The Logical Problem of Language Acquisition: A Probabilistic Perspective
Natural language is full of patterns that appear to fit with general linguistic rules but are ungrammatical. There has been much debate over how children acquire these ‘‘ling...
Anne S. Hsu, Nick Chater
EUROMED
2010
15 years 3 months ago
Comparative Study of Interactive Systems in a Museum
Abstract. Museums research new ways to offer positive experience to the visitors and encourage them to return, using modern communication and learning tools. To the effect, technol...
Despina Michael, Nectarios Pelekanos, Isabelle Chr...
174
Voted
HCSE
2010
15 years 3 months ago
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
Abstract. The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anti...
José Luís Silva, Óscar R. Rib...