Sciweavers

1755 search results - page 205 / 351
» An efficient simulation algorithm based on abstract interpre...
Sort
View
ECML
2007
Springer
15 years 7 months ago
User Oriented Hierarchical Information Organization and Retrieval
Abstract. In order to organize huge document collections, labeled hierarchical structures are used frequently. Users are most efficient in navigating such hierarchies, if they refl...
Korinna Bade, Marcel Hermkes, Andreas Nürnber...
115
Voted
TCSV
2002
151views more  TCSV 2002»
15 years 3 months ago
Object-based video coding by global-to-local motion segmentation
Abstract--In this paper, we describe an object-based video compression scheme based on the derivation and efficient coding of motion boundaries. First, we recursively identify a sm...
Ahsan Shamim, John A. Robinson
152
Voted
ISNN
2007
Springer
15 years 9 months ago
A Connectionist Thematic Grid Predictor for Pre-parsed Natural Language Sentences
Abstract. Inspired on psycholinguistics and neuroscience, a symbolicconnectionist hybrid system called θ-Pred (Thematic Predictor for natural language) is proposed, designed to re...
João Luís Garcia Rosa
128
Voted
ACSD
2003
IEEE
105views Hardware» more  ACSD 2003»
15 years 7 months ago
Detecting State Coding Conflicts in STG Unfoldings Using SAT
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
PARLE
1987
15 years 7 months ago
Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance)
Modern VLSI technology has changed the economic rules by which the balance between processing power, memory and communications is decided in computing systems. This will have a pr...
Peter H. Welch