Sciweavers

4242 search results - page 218 / 849
» An Event Spacing Experiment
Sort
View
FMSD
2007
110views more  FMSD 2007»
15 years 6 months ago
Exploiting interleaving semantics in symbolic state-space generation
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
Gianfranco Ciardo, Gerald Lüttgen, Andrew S. ...
CBMS
2002
IEEE
15 years 11 months ago
A Statistical Approach to Texture Description of Medical Images: A Preliminary Study
The article deals with the problem of texture description. It presents a statistical approach. Specifically it introduces the use of first- and second-order statistics on textur...
Matjaz Bevk, Igor Kononenko
IIR
2010
15 years 8 months ago
An Ontological Representation of Documents and Queries for Information Retrieval Systems
This paper presents a vector space model approach, for representing documents and queries, using concepts instead of terms and WordNet as a light ontology. This way, information o...
Mauro Dragoni, Célia da Costa Pereira, Andr...
IADIS
2004
15 years 8 months ago
Multilingual virtual communities - what's the problem?
The paper discusses methods of enabling bi- or multi-lingual people to communicate effectively with each other within one virtual discussion space. The writer's own experimen...
Anita Pincas
TIT
2008
54views more  TIT 2008»
15 years 6 months ago
Exponential Diversity Achieving Spatio-Temporal Power Allocation Scheme for Fading Channels
In this paper, we analyze optimal (in space and time) adaptive power transmission policies for fading channels when the channel-state information (CSI) at the transmitter (CSIT) an...
Vinod Sharma, Karumbu Premkumar, Raghava N. Swamy