6592 search results - page 338 / 1319 » On robust cycle bases |
218
click to vote
UML
2005
Springer
16 years 11 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
212
click to vote
AAAI
1990
15 years 8 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
187
click to vote
ERCIMDL
2009
Springer
16 years 1 months ago
2009
Springer
So far little attention has been paid to file format robustness, i.e., a file formats capability for keeping its information as safe as possible in spite of data corruption. The pa...
176
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Large scale video copy detection task requires compact feature insensitive to various copy changes. Based on local feature trajectory behavior we discover invariant visual pattern...
179
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Ultra-wideband (UWB) communications is envisaged to be deployed in indoor environments, where the noise distribution is decidedly non-Gaussian. A critical challenge for...