Sciweavers

2292 search results - page 134 / 459
» Structure preserving embedding
Sort
View
IICAI
2007
14 years 11 months ago
Modeling Temporal Behavior via Structured Hidden Markov Models: an Application to Keystroking Dynamics
Structured Hidden Markov Models (S-HMM) are a variant of Hierarchical Hidden Markov Models; it provides an abstraction mechanism allowing a high level symbolic description of the k...
Ugo Galassi, Attilio Giordana, Charbel Julien, Lor...
NAACL
2007
14 years 11 months ago
Multilingual Structural Projection across Interlinear Text
This paper explores the potential for annotating and enriching data for low-density languages via the alignment and projection of syntactic structure from parsed data for resource...
Fei Xia, William Lewis
IASTEDSEA
2004
14 years 11 months ago
Java bytecode verification with dynamic structures
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
Cinzia Bernardeschi, Luca Martini, Paolo Masci
CORR
2008
Springer
128views Education» more  CORR 2008»
14 years 10 months ago
Reasoning in Abella about Structural Operational Semantics Specifications
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
Andrew Gacek, Dale Miller, Gopalan Nadathur
ECTEL
2009
Springer
14 years 7 months ago
Experience Structuring Factors Affecting Learning in Family Visits to Museums
Abstract. This paper describes the design and evaluation of an adaptive museum guide for families. In the Kurio system, a mixture of embedded and tangible technology imbues the mus...
Marek Hatala, Karen Tanenbaum, Ron Wakkary, Kevin ...