Sciweavers

503 search results - page 82 / 101
» Using The Same System For Analyzing And Synthesizing Sentenc...
Sort
View
ICMCS
2005
IEEE
91views Multimedia» more  ICMCS 2005»
16 years 4 days ago
An Intuitive Graphic Environment for Navigation and Classification of Multimedia Documents
In this work we propose an intuitive graphic framework for the effective visualization of MPEG-7 low-level features, in the context of classification and annotation of audio-visu...
Marco Campanella, Riccardo Leonardi, Pierangelo Mi...
NORMAS
2005
Springer
16 years 1 days ago
Ontological Aspects of the Implementation of Norms in Agent-Based Electronic Institutions
In order to regulate different circumstances over an extensive period of time, norms in institutions are stated in a vague and biguous manner, thereby abstracting from concrete as...
Davide Grossi, Huib Aldewereld, Javier Vázq...
ISSTA
2004
ACM
15 years 12 months ago
Automating commutativity analysis at the design level
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
Greg Dennis, Robert Seater, Derek Rayside, Daniel ...
ICAPR
2001
Springer
15 years 11 months ago
Character Extraction from Interfering Background - Analysis of Double-Sided Handwritten Archival Documents
The sipping of ink through the pages of certain double-sided handwritten documents after long periods of storage poses a serious problem to human readers or OCR systems. This pape...
Chew Lim Tan, Ruini Cao, Qian Wang, Peiyi Shen
BIRTHDAY
2007
Springer
15 years 10 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch