Sciweavers

2602 search results - page 80 / 521
» Semantic Analysis of 'to'
Sort
View
PACT
2001
Springer
15 years 10 months ago
Static Analysis for Secrecy and Non-interference in Networks of Processes
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, ...
EMNLP
2008
15 years 7 months ago
A Japanese Predicate Argument Structure Analysis using Decision Lists
This paper describes a new automatic method for Japanese predicate argument structure analysis. The method learns relevant features to assign case roles to the argument of the tar...
Hirotoshi Taira, Sanae Fujita, Masaaki Nagata
ICIP
2005
IEEE
16 years 8 months ago
A genetic algorithm-based approach to knowledge-assisted video analysis
Efficient video content management and exploitation requires extraction of the underlying semantics, a non-trivial task associating low-level features of the image domain and high...
Frédéric Precioso, Ioannis Kompatsia...
IFM
1999
Springer
15 years 10 months ago
Integration Problems in Telephone Feature Requirements
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
J. Paul Gibson, Geoff Hamilton, Dominique Mé...
CEC
2009
IEEE
16 years 1 months ago
Semantically driven mutation in genetic programming
—Using semantic analysis, we present a technique known as semantically driven mutation which can explicitly detect and apply behavioural changes caused by the syntactic changes i...
Lawrence Beadle, Colin G. Johnson