Sciweavers

12459 search results - page 200 / 2492
» cans 2006
Sort
View
EUROSSC
2006
Springer
15 years 8 months ago
Proximity Sensing Using IEEE 802.15.4 Radios
Accurately determining the location of devices is a key challenge in contextual smart sensing. This poster describes how IEEE 802.15.4 radios can be used for accurate proximity sen...
Mark Lowton, James Brown, Joe Finney, Gerd Kortuem
125
Voted
EVOW
2006
Springer
15 years 8 months ago
A Neural Evolutionary Classification Method for Brain-Wave Analysis
This paper presents an approach to the joint optimization of neural network structure and weights which can take advantage of backpropagation as a specialized decoder. The approach...
Antonia Azzini, Andrea Tettamanzi
FINTAL
2006
15 years 8 months ago
Accommodating Multiword Expressions in an Arabic LFG Grammar
Multiword expressions (MWEs) vary in syntactic category, structure, the degree of semantic opaqueness, the ability of one or more constituents to undergo inflection and processes s...
Mohammed A. Attia
FM
2006
Springer
169views Formal Methods» more  FM 2006»
15 years 8 months ago
PSL Model Checking and Run-Time Verification Via Testers
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
Amir Pnueli, Aleksandr Zaks
FORMATS
2006
Springer
15 years 8 months ago
From MITL to Timed Automata
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
Oded Maler, Dejan Nickovic, Amir Pnueli