1179 search results - page 70 / 236 » Should Superclasses be Abstract |
CHARME
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
CICLING
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents two methods which automatically produce annotated corpora for text summarisation on the basis of human abstracts. Both methods identify a set of sentences from ...
CIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Survivability should be considered beyond security for networked information systems, which emphasizes the ability of continuing providing services timely in malicious en...
EMMCVPR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We propose a new model for image decomposition which separates an image into a cartoon, consisting only of geometric objects, and an oscillatory component, consisting of ...
ERCIMDL
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The increase in the amount of data available in digital libraries calls for the development of search engines that allow the users to find quickly and effectively what ...