Sciweavers

20066 search results - page 231 / 4014
» T Spaces
Sort
View
FMICS
2008
Springer
15 years 7 months ago
Fighting State Space Explosion: Review and Evaluation
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...
Radek Pelánek
AHS
2007
IEEE
245views Hardware» more  AHS 2007»
15 years 6 months ago
Characterising Wireless Sensor Motes for Space Applications
This paper is concerned with application of standard wireless COTS protocols to space. Suitability of commercially available wireless sensor mote kits for communication inside and...
Tanya Vladimirova, Christopher P. Bridges, George ...
BDA
2007
15 years 8 months ago
Hyperplane Queries in a Feature-Space M-tree for Speeding up Active Learning
In content-based retrieval, relevance feedback (RF) is a noticeable method for reducing the “semantic gap” between the low-level features describing the content and the usually...
Michel Crucianu, Daniel Estevez, Vincent Oria, Jea...
APAL
2010
68views more  APAL 2010»
15 years 6 months ago
Spaces of orders and their Turing degree spectra
We investigate computability theoretic and topological properties of spaces of orders on computable orderable groups. A left order on a group G is a linear order of the domain of ...
Malgorzata A. Dabkowska, Mieczyslaw K. Dabkowski, ...
APAL
2010
69views more  APAL 2010»
15 years 6 months ago
Cardinal sequences of LCS spaces under GCH
Let C() denote the class of all cardinal sequences of length associated with compact scattered spaces. Also put C() = {f C() : f(0) = = min[f() : < ]}. If is a cardinal an...
Juan Carlos Martinez, Lajos Soukup