7536 search results - page 1210 / 1508 » The CLEAR 2007 Evaluation |
161
click to vote
ATAL
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Real market institutions, stock and commodity exchanges for example, do not occur in isolation. Company stock is frequently listed on several stock exchanges, allowing tr...
200
click to vote
ATVA
2007
Springer
16 years 26 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
201
click to vote
ATVA
2007
Springer
16 years 26 days ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
179
click to vote
AUSAI
2007
Springer
16 years 26 days ago
2007
Springer
Semantic orientation (SO) for texts is often determined on the basis of the positive or negative polarity, or sentiment, found in the text. Polarity is typically extracted using th...
166
click to vote
AUSAI
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Temporal expressions—references to points in time or periods of time—are widespread in text, and their proper interpretation is essential for any natural language pro...