Sciweavers

2623 search results - page 301 / 525
» tools 2010
Sort
View
99
Voted
ENTCS
2002
101views more  ENTCS 2002»
15 years 18 days 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 12 days 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...
122
Voted
COGSCI
2010
87views more  COGSCI 2010»
14 years 11 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
91
Voted
EUROMED
2010
14 years 11 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...
HCSE
2010
14 years 11 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...