11066 search results - page 2078 / 2214 » Linearity in Process Languages |
125
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
124
Voted
APWEB
2006
Springer
15 years 7 months ago
2006
Springer
Rapid increase in the number of pages on web sites, and widespread use of search engine optimization techniques, lead to web sites becoming difficult to navigate. Traditional site ...
155
Voted
CIKM
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we study the problem of collecting training samples for building enterprise taxonomies. We develop a computer-aided tool named InfoAnalyzer, which can effectively as...
159
Voted
CLEF
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents the ITC-irst Multilingual Question Answering system DIOGENE. The system was used successfully on the CLEF-2003, TREC-2003, TREC-2002 and TREC-2001 QA tracks. DI...
146
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Retargetable C compilers are key tools for efficient architecture exploration for embedded processors. In this paper we describe a novel approach to retargetable compilation based...