5355 search results - page 848 / 1071 » Modules |
181
click to vote
EUROMICRO
2004
IEEE
15 years 11 months ago
2004
IEEE
The popularity of web objects, and by extension the popularity of the web sites, besides the appearance of clear footprints in user's accesses that show a considerable spatia...
186
click to vote
CLEF
2006
Springer
15 years 11 months ago
2006
Springer
This paper describes the development of a Question Answering (QA) system and its evaluation results in the Romanian-English cross-lingual track organized as part of the CLEF1 2006 ...
172
click to vote
FCCM
2004
IEEE
15 years 11 months ago
2004
IEEE
Searching for multiple string patterns in a stream of data is a computationally expensive task. The speed of the search pattern module determines the overall performance of deep p...
189
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
212
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...