Sciweavers

1791 search results - page 86 / 359
» Two Types of Multiple-Conclusion Systems
Sort
View
IJFCS
2008
166views more  IJFCS 2008»
13 years 9 months ago
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
The conventional forbidden state problem for discrete event systems is concerned with the issue of synthesizing a maximally permissive control policy to prevent a discrete event s...
Hsu-Chun Yen
COLING
2008
13 years 10 months ago
A Complete and Modestly Funny System for Generating and Performing Japanese Stand-Up Comedy
We present a complete system that generates Japanese stand-up comedy. Different modules generating different types of jokes are tied together into a performance where all jokes ar...
Jonas Sjöbergh, Kenji Araki
WSCG
2000
110views more  WSCG 2000»
13 years 10 months ago
Using 3D Geometric Constraints in Architectural Design Support Systems
To support 3D architectural modeling, geometric constraints are introduced. Explicit and implicit geometric relations between building elements can be expressed by the designer an...
Bert de Vries, A. J. Jessurun, Richard H. M. C. Ke...
SIGIR
2010
ACM
13 years 9 months ago
Can search systems detect users' task difficulty?: some behavioral signals
In this paper, we report findings on how user behaviors vary in tasks with different difficulty levels as well as of different types. Two behavioral signals: document dwell time a...
Jingjing Liu, Chang Liu, Jacek Gwizdka, Nicholas J...
SCL
2008
101views more  SCL 2008»
13 years 9 months ago
Stability of nonlinear asynchronous systems
Abstract-- In this work, we focus on a class of nonlinear asynchronous systems defined by two different modes of operation, one stable and the other one unstable. The switching bet...
David Muñoz de la Peña, Panagiotis D...