6308 search results - page 272 / 1262 » Modeling Urgency in Timed Systems |
185
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes a time-series prediction method based on the kNN technique. The proposed methodology is applied to the 24hour load forecasting problem. Also, based on recorded...
184
click to vote
VR
2002
IEEE
15 years 11 months ago
2002
IEEE
—Bone dissection is an important component of many surgical procedures. In this paper, we discuss a haptic and visual implementation of a bone cutting burr, that it is being deve...
184
click to vote
DEXA
1999
Springer
15 years 11 months ago
1999
Springer
Due to the unpredictability of mobile network, it is difficult to meet transaction deadlines in a mobile distributed real-time database system (MDRDTBS). We propose the idea of tra...
149
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
Many irregular scientific computing problems can be modeled by directed acyclic task graphs (DAGs). In this paper, we present an efficient run-time system for executing general as...
201
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...