Sciweavers

977 search results - page 95 / 196
» DRIFT: A Framework for Ontology-based Design Support Systems
Sort
View
IPSN
2007
Springer
14 years 3 months ago
Design and implementation of a wireless sensor network for intelligent light control
We present the design and implementation of the Illuminator, a preliminary sensor network-based intelligent light control system for entertainment and media production. Unlike mos...
Heemin Park, Jeff Burke, Mani B. Srivastava
ICFP
2005
ACM
14 years 9 months ago
Combining programming with theorem proving
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
Chiyan Chen, Hongwei Xi
CSCW
2004
ACM
14 years 2 months ago
Meeting central: making distributed meetings more effective
The Meeting Central prototype is a suite of collaboration tools designed to support distributed meetings. The tools' minimalist design provides only those features that have ...
Nicole Yankelovich, William Walker, Patricia Rober...
ERLANG
2004
ACM
14 years 2 months ago
On modelling agent systems with Erlang
Multi-agent systems are a kind of concurrent distributed systems. In this work, some guidelines on how to create multi-agent systems using Erlang are presented. The modelled syste...
Carlos Varela, Carlos Abalde, Laura M. Castro, Jos...
ESWA
2006
195views more  ESWA 2006»
13 years 9 months ago
JavaDON: an open-source expert system shell
The paper describes JavaDON, an open-source expert systems shell based on the OBOA framework for developing intelligent systems. The central idea of the JavaDON project was to mak...
Bojan Tomic, Jelena Jovanovic, Vladan Devedzic