Sciweavers

3706 search results - page 286 / 742
» OntoComP System Description
Sort
View
AOSE
2003
Springer
15 years 11 months ago
Temporal Aspects of Dynamic Role Assignment
A helpful abstraction of a group of agents is a set of interacting roles, or sets of normative behaviors, that the agents can assume. An important characteristic of real-world agen...
James Odell, H. Van Dyke Parunak, Sven Brueckner, ...
FM
2003
Springer
102views Formal Methods» more  FM 2003»
15 years 11 months ago
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
Alan Wassyng, Mark Lawford
IPPS
2002
IEEE
15 years 11 months ago
Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...
John O'Donnell
NLPRS
2001
Springer
15 years 11 months ago
Korean Text Generation from Database for Homeshopping Sites
This paper describes a text generation system, XExplainer, which can dynamically produce a description of commodities in Korean from a relational database for homeshopping sites. ...
Ji-Eun Roh, Sin-Jae Kang, Jong-Hyeok Lee
CGI
2000
IEEE
15 years 11 months ago
Neural Network-based Violinist's Hand Animation
We present a system for the animation of human hand that plays violin. Neural network controls the hand movement. We make use of an optimization method to generate the examples fo...
Junhwan Kim, Frederic Cordier, Nadia Magnenat-Thal...