4636 search results - page 97 / 928 » Modelling and Validation with VipTool |
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
The aim of this paper is twofold: to provide a theoretical model to analyze obstacles, challenges, and incentives which lead a nonprofessional user to design websites and produce ...
ACL
2009
13 years 5 months ago
2009
This paper studies transliteration alignment, its evaluation metrics and applications. We propose a new evaluation metric, alignment entropy, grounded on the information theory, t...
ENTCS
2010
13 years 5 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
EJWCN
2010
13 years 2 months ago
2010
Abstract--Wormhole attacks can negatively affect the localization in wireless sensor networks. A typical wormhole attack can be launched by two colluding attackers, one of which sn...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Segmentation of speech signals is a crucial task in many types of speech analysis. We present a novel approach at segmentation on a syllable level, using a Bidirectional Long-Shor...