21342 search results - page 3803 / 4269 » A Structured Language Model |
158
click to vote
CC
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
128
click to vote
CLEF
2004
Springer
15 years 10 months ago
2004
Springer
Our group in the Department of Informatics at the University of Oviedo has participated, for the first time, in two tasks at CLEF: monolingual (Russian) and bilingual (Spanish-to-E...
107
click to vote
ECWEB
2004
Springer
15 years 10 months ago
2004
Springer
RDDOnto is an ontology that translates the MPEG-21 RDD (Rights Data Dictionary) specification into a hierarchical set of definitions with semantic content included. In the event th...
128
click to vote
GRID
2004
Springer
15 years 9 months ago
2004
Springer
The SOAP protocol underpins Web services as the standard mechanism for exchanging information in a distributed environment. The XML-based protocol offers advantages including exte...
126
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...