577 search results - page 54 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
NIPS
2007
13 years 10 months ago
2007
Traditional analysis methods for single-trial classification of electroencephalography (EEG) focus on two types of paradigms: phase locked methods, in which the amplitude of the ...
ER
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
ICFEM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
GLOBECOM
2007
IEEE
2007
IEEE
TCP Performance Analysis over Aggressive Physical Carrier Sensing Based Wireless Local Area Networks
14 years 3 months ago
— Aggressive physical carrier sensing (PCS), which improves the spatial reuse efficiency by shrinking the PCS range, is a promising technique to scale high density Wireless Loca...
COLING
2008
13 years 10 months ago
2008
This paper presents a probabilistic model for Japanese zero anaphora resolution. First, this model recognizes discourse entities and links all mentions to them. Zero pronouns are ...