Sciweavers

151 search results - page 12 / 31
» KHEPERA: A System for Rapid Implementation of Domain Specifi...
Sort
View
RE
2010
Springer
13 years 2 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
ECIR
2006
Springer
13 years 9 months ago
Using Concept-Based Indexing to Improve Language Modeling Approach to Genomic IR
Genomic IR, characterized by its highly specific information need, severe synonym and polysemy problem, long term name and rapid growing literature size, is challenging IR communit...
Xiaohua Zhou, Xiaodan Zhang, Xiaohua Hu
JUCS
2008
134views more  JUCS 2008»
13 years 7 months ago
A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
Irène Durand, Sylviane R. Schwer
ECAI
2010
Springer
13 years 8 months ago
Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
Cédric Pralet, Gérard Verfaillie, Mi...
CIDM
2007
IEEE
13 years 11 months ago
Identifying Anatomical Phrases in Clinical Reports by Shallow Semantic Parsing Methods
Natural Language Processing (NLP) is being applied for several information extraction tasks in the biomedical domain. The unique nature of clinical information requires the need fo...
Vijayaraghavan Bashyam, Ricky K. Taira