Sciweavers

10802 search results - page 358 / 2161
» Generative and developmental systems
Sort
View
INLG
2010
Springer
15 years 2 months ago
Situated Reference in a Hybrid Human-Robot Interaction System
We present the situated reference generation module of a hybrid human-robot interaction system that collaborates with a human user in assembling target objects from a wooden toy c...
Manuel Giuliani, Mary Ellen Foster, Amy Isard, Col...
APSEC
2009
IEEE
15 years 2 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
125
Voted
DATE
2000
IEEE
108views Hardware» more  DATE 2000»
15 years 9 months ago
Automatic Abstraction for Worst-Case Analysis of Discrete Systems
c Abstraction for Worst-Case Analysis of Discrete Systems Felice Balarin Cadence Berkeley Laboratories Recently, a methodology for worst-case analysis of discrete systems has been...
Felice Balarin
ANLP
2000
100views more  ANLP 2000»
15 years 6 months ago
REES: A Large-Scale Relation and Event Extraction System
This paper reports on a large-scale, end-toend relation and event extraction system. At present, the system extracts a total of 100 types of relations and events, which represents...
Chinatsu Aone, Mila Ramos-Santacruz
IPPS
2007
IEEE
15 years 11 months ago
A Probabilistic Approach to Measuring Robustness in Computing Systems
System builders are becoming increasingly interested in robust design. We believe that a methodology for generating robustness metrics will help the robust design research efforts...
Behdis Eslamnour, Shoukat Ali