Sciweavers

3086 search results - page 589 / 618
» Generalized Discriminant Analysis Using a Kernel Approach
Sort
View
ANLP
1994
129views more  ANLP 1994»
13 years 9 months ago
Machine Translation of Sentences with Fixed Expressions
This paper presents a practical machine translation system based on sentence types for economic news stories. Conventional English-to-Japanese machine translation (MT) systems whi...
Naoto Katoh, Teruaki Aizawa
IIE
2006
121views more  IIE 2006»
13 years 7 months ago
High School Teachers' Course Designs and Their Professional Knowledge of Online Teaching
This paper deals with the process of expanding the virtual secondary education school network, aiming to provide daily basis, online teaching. The context of this research is the E...
Teemu Valtonen, Jari Kukkonen, Anu Wulff
TCS
2002
13 years 7 months ago
Specification of real-time and hybrid systems in rewriting logic
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
Peter Csaba Ölveczky, José Meseguer
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 6 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
POPL
2012
ACM
12 years 3 months ago
Multiple facets for dynamic information flow
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
Thomas H. Austin, Cormac Flanagan