1942 search results - page 218 / 389 » Matroids from modules |
114
Voted
COMPSAC
2010
IEEE
15 years 16 days ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
134
Voted
EMNLP
2010
15 years 15 days ago
2010
The computation of meaning similarity as operationalized by vector-based models has found widespread use in many tasks ranging from the acquisition of synonyms and paraphrases to ...
106
click to vote
ICPR
2010
IEEE
15 years 13 days ago
2010
IEEE
Abstract--In this paper we introduce a probabilistic approach of building extraction in remotely sensed images. To cope with data heterogeneity we construct a flexible hierarchical...
103
Voted
MOBILIGHT
2010
15 years 12 days ago
2010
In this paper the objective is to enhance the spectral efficiency using combinations of transmit antenna selection with Linear Dispersion Code Selection. Both bit error rate minimi...
105
click to vote
IJKDB
2010
14 years 11 months ago
2010
Searching for repeated features characterizing biological data is fundamental in computational biology. When biological networks are under analysis, the presence of repeated modul...