10916 search results - page 197 / 2184 » On Constructive Connectives and Systems |
175
click to vote
ICRA
2006
IEEE
16 years 19 days ago
2006
IEEE
— This paper proposes a method for synthesizing dance performance synchronized to played music and our method presents a system that imitates dancers’ skills in performing thei...
179
click to vote
PRDC
2006
IEEE
16 years 19 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
158
click to vote
EMO
2005
Springer
16 years 4 days ago
2005
Springer
Water systems often allow efficient water uses via water reuse and/or recirculation. Defining the network layout connecting water-using processes is a complex problem which involv...
144
click to vote
FUIN
2000
15 years 6 months ago
2000
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...
176
click to vote
TMM
2002
15 years 6 months ago
2002
With the rapid performance improvements in low-cost PCs, it becomes increasingly practical and cost-effective to implement large-scale video-on-demand (VoD) systems around parallel...