5055 search results - page 82 / 1011 » Relative Timing |
125
Voted
FORMATS
2007
Springer
15 years 8 months ago
2007
Springer
The basic modal operator bounded until of Metric Temporal Logic (MTL) comes in several variants. In particular it can be strict (when it does not constrain the current instant) or...
111
Voted
ATS
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper develops a framework to support trace theoretic verification of timed circuits and systems. A theoretical foundation for classifying timed traces as either successes or...
ACL
2009
15 years 12 days ago
2009
Many events in news articles don't include time arguments. This paper describes two methods, one based on rules and the other based on statistical learning, to predict the un...
156
click to vote
COR
2008
15 years 1 months ago
2008
In this paper we review the exact algorithms proposed in the last three decades for the solution of the vehicle routing problem with time windows (VRPTW). The exact algorithms for...
150
Voted
CBMS
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper we discuss a framework for modeling the 3D lung dynamics of normal and diseased human subjects and visualizing them using an Augmented Reality (AR) based environment...