4434 search results - page 860 / 887 » On the Composition of Hybrid Systems |
189
Voted
TACAS
2007
Springer
16 years 6 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
164
click to vote
WOLLIC
2007
Springer
16 years 6 days ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
159
click to vote
IUI
2006
ACM
16 years 1 days ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...
153
click to vote
MIR
2006
ACM
16 years 1 days ago
2006
ACM
We present a general approach for automatically matching electronic slides to videos of corresponding presentations for use in distance learning and video proceedings of conferenc...
198
click to vote
ECCB
2005
IEEE
15 years 11 months ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...