Sciweavers

3238 search results - page 344 / 648
» Multi-return function call
Sort
View
FM
2001
Springer
118views Formal Methods» more  FM 2001»
15 years 11 months ago
Avoiding State Explosion for Distributed Systems with Timestamps
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
Fabrice Derepas, Paul Gastin, David Plainfoss&eacu...
SEMWEB
2001
Springer
15 years 11 months ago
DAML-S: Semantic Markup for Web Services
The Semantic Web should enable greater access not only to content but also to services on the Web. Users and software agents should be able to discover, invoke, compose, and monit...
Anupriya Ankolekar, Mark H. Burstein, Jerry R. Hob...
VLDB
2001
ACM
92views Database» more  VLDB 2001»
15 years 11 months ago
Fast Evaluation Techniques for Complex Similarity Queries
Complex similarity queries, i.e., multi-feature multi-object queries, are needed to express the information need of a user against a large multimedia repository. Even if a user in...
Klemens Böhm, Michael Mlivoncic, Hans-Jö...
155
Voted
DEXAW
2000
IEEE
84views Database» more  DEXAW 2000»
15 years 11 months ago
Visualizing Multidimensional Raster Data with rView
rView is a visual frontend to the RasDaMan DBMS, providing raster data visualization functionality and a graphical user interface to the database system. RasDaMan, a commercial ar...
Andreas Dehmel, Peter Baumann
166
Voted
ICMCS
2000
IEEE
172views Multimedia» more  ICMCS 2000»
15 years 11 months ago
Multi Layer Video Object Database based on Interactive Annotation and its Application
As the use of applications employing video contents becomes widespread, it is crucial for representation systems to be able to handle video effectively and flexibly. In this pape...
Tomoyuki Yatabe, Hiroshi Kawasaki, Hiroshi Mo, Mas...