Sciweavers

6846 search results - page 324 / 1370
» Developing an Active Observer
Sort
View
JUCS
2010
103views more  JUCS 2010»
15 years 5 months ago
Using Lisp Implementation Internals Unportable but Fun
: We present a number of developer tools and language extensions that are available for use with Steel Bank Common Lisp, but which are perhaps not as wellknown as they could be. Ou...
Christophe Rhodes
CADE
2003
Springer
16 years 7 months ago
Automating the Dependency Pair Method
Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area ...
Nao Hirokawa, Aart Middeldorp
PERCOM
2007
ACM
16 years 6 months ago
Macro Programming through Bayesian Networks: Distributed Inference and Anomaly Detection
Macro programming a distributed system, such as a sensor network, is the ability to specify application tasks at a global level while relying on compiler-like software to translat...
Marco Mamei, Radhika Nagpal
ISSEP
2010
Springer
418views Education» more  ISSEP 2010»
16 years 3 months ago
Didactic Games for Teaching Information Theory
We developed a set of didactic games and activities that can be used to illustrate and teach various concepts from Information Theory. For each of the games and activities we list ...
Michal Forisek, Monika Steinová
AGILEDC
2008
IEEE
16 years 1 months ago
Coding Dojo: An Environment for Learning and Sharing Agile Practices
A Coding Dojo is a meeting where a group of programmers gets together to learn, practice, and share experiences. This report describes the authors’ experience of creating and ru...
Danilo T. Sato, Hugo Corbucci, Mariana V. Bravo