Sciweavers

4346 search results - page 132 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
153
Voted
EACL
2006
ACL Anthology
15 years 5 months ago
Using Reinforcement Learning to Build a Better Model of Dialogue State
Given the growing complexity of tasks that spoken dialogue systems are trying to handle, Reinforcement Learning (RL) has been increasingly used as a way of automatically learning ...
Joel R. Tetreault, Diane J. Litman
154
Voted
HYBRID
1998
Springer
15 years 8 months ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch
116
Voted
JETAI
2007
141views more  JETAI 2007»
15 years 3 months ago
Exchange market for complex commodities: search for optimal matches
The Internet has led to the development of on-line markets, and computer scientists have designed various auction algorithms, as well as automated exchanges for standardized commo...
Eugene Fink, Jianli Gong, Josh Johnson
198
Voted
DASFAA
2010
IEEE
425views Database» more  DASFAA 2010»
15 years 8 months ago
FlexTable: Using a Dynamic Relation Model to Store RDF Data
Efficient management of RDF data is an important factor in realizing the Semantic Web vision. The existing approaches store RDF data based on triples instead of a relation model. I...
Yan Wang, Xiaoyong Du, Jiaheng Lu, Xiaofang Wang
APSEC
2000
IEEE
15 years 8 months ago
Enterprise modeling using class and instance models
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
Rakesh Agarwal, Giorgio Bruno, Marco Torchiano