Sciweavers

1221 search results - page 113 / 245
» Mixed-Initiative Development of Language Processing Systems
Sort
View
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
14 years 3 months ago
PicNIc - Pi-calculus non-interference checker
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
Silvia Crafa, Matteo Mio, Marino Miculan, Carla Pi...
CORR
2010
Springer
100views Education» more  CORR 2010»
13 years 3 months ago
Discovering Knowledge from Multi-modal Lecture Recordings
Educational media mining is the process of converting raw media data from educational systems to useful information that can be used to design learning systems, answer research qu...
Kannan Rajkumar, Christian Guetl
ACSC
2004
IEEE
14 years 18 days ago
Formalization of UML Statechart Models Using Concurrent Regular Expressions
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
S. Jansamak, A. Surarerks
ACL
2009
13 years 6 months ago
Who, What, When, Where, Why? Comparing Multiple Approaches to the Cross-Lingual 5W Task
Cross-lingual tasks are especially difficult due to the compounding effect of errors in language processing and errors in machine translation (MT). In this paper, we present an er...
Kristen Parton, Kathleen McKeown, Bob Coyne, Mona ...
EWSA
2004
Springer
14 years 2 months ago
ArchWare: Architecting Evolvable Software
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...
Flávio Oquendo, Brian Warboys, Ronald Morri...