Sciweavers

7820 search results - page 216 / 1564
» Formalization of Time and Space
Sort
View
SOFSEM
2010
Springer
16 years 4 months ago
Fast Arc-Annotated Subsequence Matching in Linear Space
An arc-annotated string is a string of characters, called bases, augmented with a set of pairs, called arcs, each connecting two bases. Given arc-annotated strings P and Q the arc-...
Philip Bille, Inge Li Gørtz
MOBILIGHT
2010
15 years 5 months ago
A Framework for the Design Space Exploration of Software-Defined Radio Applications
Abstract. This paper describes a framework for the design space exploration of resource-efficient software-defined radio architectures. This design space exploration is based on a ...
Thorsten Jungeblut, Ralf Dreesen, Mario Porrmann, ...
ICASSP
2011
IEEE
14 years 11 months ago
A time-distributed phase space histogram for detecting transient signals
Burst-type signals constitute an important class of transient signals, being used especially in the investigation of various physical environments by electric or acoustic means. A...
Florin-Marian Birleanu, Cornel Ioana, Alexandru Se...
ATVA
2004
Springer
146views Hardware» more  ATVA 2004»
16 years 17 days ago
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teru...
ICML
2006
IEEE
16 years 8 months ago
Fast and space efficient string kernels using suffix arrays
String kernels which compare the set of all common substrings between two given strings have recently been proposed by Vishwanathan & Smola (2004). Surprisingly, these kernels...
Choon Hui Teo, S. V. N. Vishwanathan