Sciweavers

3457 search results - page 195 / 692
» A Symbol Is Not a Symbol
Sort
View
PDPTA
2000
15 years 7 months ago
Dependable High Performance Computing on a Parallel Sysplex Cluster
In this paper we address the issue of dependable distributed high performance computing in the field of Symbolic Computation. We describe the extension of a middleware infrastructu...
Wolfgang Blochinger, Reinhard Bündgen, Andrea...
PTS
2010
138views Hardware» more  PTS 2010»
15 years 4 months ago
Alternating Simulation and IOCO
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...
Margus Veanes, Nikolaj Bjørner
MMM
2007
Springer
138views Multimedia» more  MMM 2007»
16 years 23 days ago
Subtrajectory-Based Video Indexing and Retrieval
This paper proposes an approach for retrieving videos based on object trajectories and subtrajectories. First, trajectories are segmented into subtrajectories according to the char...
Thi-Lan Le, Alain Boucher, Monique Thonnat
ICCAD
1996
IEEE
94views Hardware» more  ICCAD 1996»
15 years 10 months ago
Metamorphosis: state assignment by retiming and re-encoding
This paper presents Metamorphosis1
Balakrishnan Iyer, Maciej J. Ciesielski
MFCS
2000
Springer
15 years 10 months ago
Matching Modulo Associativity and Idempotency Is NP-Complete
We show that AI
Ondrej Klíma, Jirí Srba