3717 search results - page 68 / 744 » Representing Multiple Theories |
DSN
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
COMPGEOM
2009
ACM
14 years 2 months ago
2009
ACM
We demonstrate how the scale axis transform can be used to compute a parameterized family of shape skeletons. The skeletons gradually represent only the most important features of...
GISCIENCE
2010
Springer
13 years 11 months ago
2010
Springer
Regions which evolve over time are a significant aspect of many phenomena in geographic information science. Examples include areas in which a measured value (e.g. temperature, sal...
COR
2002
13 years 10 months ago
2002
This paper presents the fundamental theory and algorithms for identifying the most preferred alternative for a decision maker (DM) having a non-centrist (or extremist) preferentia...
PRL
1998
13 years 9 months ago
1998
An alternative to representing curves at a single scale or a fixed number of multiple scales is to represent them only at their natural (i.e. most significant) scales. This allo...