Sciweavers

3844 search results - page 219 / 769
» Modular interpreted systems
Sort
View
ROBOCUP
2001
Springer
205views Robotics» more  ROBOCUP 2001»
15 years 8 months ago
CS Freiburg 2001
The CS Freiburg team has become F2000 champion the third time in the history of RoboCup. The success of our team can probably be attributed to its robust sensor interpretation and ...
Thilo Weigel, Alexander Kleiner, Florian Diesch, M...
131
Voted
ASIAN
1998
Springer
111views Algorithms» more  ASIAN 1998»
15 years 8 months ago
A Comparison of Petri Net Semantics under the Collective Token Philosophy
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
Roberto Bruni, José Meseguer, Ugo Montanari...
113
Voted
DBPL
1987
Springer
113views Database» more  DBPL 1987»
15 years 7 months ago
Orderings and Types in Databases
This paper investigates a method to represent database objects as typed expressions in programming languages. A simple typed language supporting non-flat records, higher-order rel...
Atsushi Ohori
ACL
2008
15 years 5 months ago
Evaluating Word Prediction: Framing Keystroke Savings
Researchers typically evaluate word prediction using keystroke savings, however, this measure is not straightforward. We present several complications in computing keystroke savin...
Keith Trnka, Kathleen F. McCoy
119
Voted
DAGSTUHL
2003
15 years 5 months ago
PiLib: A Hosted Language for Pi-Calculus Style Concurrency
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
Vincent Cremet, Martin Odersky