Sciweavers

2958 search results - page 79 / 592
» Extending and Implementing RASP
Sort
View
ISCAS
1993
IEEE
99views Hardware» more  ISCAS 1993»
13 years 12 months ago
On adaptive wavelet packets
An algorithm is presented for fast implementation of time-varying wavelet packets maintaining perfect reconstruction throughout transitions. It is based on filter banks known as t...
Ricardo L. de Queiroz, K. Raghunath Rao
ACL
2007
13 years 9 months ago
Poliqarp: An open source corpus indexer and search engine with syntactic extensions
This paper presents recent extensions to Poliqarp, an open source tool for indexing and searching morphosyntactically annotated corpora, which turn it into a tool for indexing and...
Daniel Janus, Adam Przepiórkowski
ECTEL
2010
Springer
13 years 6 months ago
A Framework for the Domain-Independent Collection of Attention Metadata
Abstract. We present a simple and extendible framework to collect attention metadata and store them for further analysis. Currently, several metadata collectors have been implement...
Maren Scheffel, Martin Friedrich, Katja Niemann, U...
TABLEAUX
2005
Springer
14 years 1 months ago
Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic
Abstract. We present a clausal connection calculus for first-order intuitionistic logic. It extends the classical connection calculus by adding prefixes that encode the character...
Jens Otten
ESOP
1999
Springer
14 years 1 hour ago
Types and Subtypes for Client-Server Interactions
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
Simon J. Gay, Malcolm Hole