7820 search results - page 323 / 1564 » Formalization of Time and Space |
203
click to vote
MICCAI
2007
Springer
16 years 8 months ago
2007
Springer
In cancer treatment, understanding the aggressiveness of the tumor is essential in therapy planning and patient follow-up. In this article, we present a novel method for quantifyin...
291
Voted
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we study the trade-offs between time series compressibility and partial information hiding and their fundamental implications on how we should introduce uncertainty ...
202
click to vote
ISORC
2009
IEEE
16 years 2 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
186
Voted
FM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
205
click to vote
FORMATS
2007
Springer
16 years 1 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...