12981 search results - page 2047 / 2597 » Model Checking (Abstract) |
175
click to vote
SAFECOMP
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
198
click to vote
SEMWEB
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. Swoogle helps software agents and knowledge engineers find Semantic Web knowledge encoded in RDF and OWL documents on the Web. Navigating such a Semantic Web on the Web ...
182
click to vote
SOFSEM
2005
Springer
16 years 28 days ago
2005
Springer
d Abstract) Lubomir Torok Institute of Mathematics and Computer Science Slovak Academy of Sciences Severna 5, 974 01 Banska Bystrica, Slovak Republic 3-dimensional layout of graph...
247
click to vote
VLSM
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. Given an image, digital matting consists in extracting a foreground element from the background. Standard methods are initialized with a trimap, a partition of the image ...
222
click to vote
DCOSS
2005
Springer
16 years 28 days ago
2005
Springer
Abstract— Wireless sensor networks are useful for monitoring physical parameters and detecting objects or substances in an area. Most ongoing research consider the use of either ...