1287 search results - page 161 / 258 » Reduction of Timed Hybrid Systems |
138
click to vote
NLE
2008
15 years 4 months ago
2008
This paper describes clime, a web-based legal advisory system with a multilingual natural language interface. clime is a `proof-of-concept' system which answers queries relat...
156
Voted
RTAS
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper describes the scheduling framework for a new operating system called “Quest”. The three main goals of Quest are to ensure safety, predictability and efficiency of ...
128
click to vote
JSS
2011
14 years 6 months ago
2011
Forecasting workflow activity durations is of great importance to support satisfactory QoS in workflow systems. Traditionally, a workflow system is often designed to facilitate the...
140
click to vote
MOBISYS
2004
ACM
16 years 3 months ago
2004
ACM
We study the problem of tracking a moving device under two indoor location architectures: an active mobile architecture and a passive mobile architecture. In the former, the infra...
132
Voted
GIAE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...