6018 search results - page 382 / 1204 » Factored Translation Models |
181
Voted
ISOLA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
192
Voted
VR
2002
IEEE
15 years 11 months ago
2002
IEEE
Virtual reality displays introduce spatial distortions that are very hard to correct because of the difficulty of precisely modelling the camera from the nodal point of each eye. ...
157
Voted
ICDT
1999
ACM
15 years 11 months ago
1999
ACM
In data integration systems, queries posed to a mediator need to be translated into a sequence of queries to the underlying data sources. In a heterogeneous environment, with sour...
176
Voted
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
The Dublin City University participation in the CLEF 2006 CL-SR task concentrated on exploring the combination of the multiple fields associated with the documents. This was based...
148
Voted
EKAW
2006
Springer
15 years 10 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...