10038 search results - page 1774 / 2008 » Model Checking for Managers |
152
click to vote
CONTEXT
2007
Springer
16 years 18 days ago
2007
Springer
Our goal in this study was to explore the potentials of extracting features from eye-tracking data that have the potential to improve performance in implicit relevance feedback. We...
150
click to vote
CONTEXT
2007
Springer
2007
Springer
Thai Text Coherence Structuring with Coordinating and Subordinating Relations for Text Summarization
16 years 18 days ago
Text summarization with the consideration of coherence can be achieved by using discourse processing with the Rhetorical Structure Theory (RST). Additional problems on relational a...
195
click to vote
CSR
2007
Springer
16 years 18 days ago
2007
Springer
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
188
click to vote
DAMON
2007
Springer
16 years 18 days ago
2007
Springer
In this work, we research the suitability of the Cell Broadband Engine for database processing. We start by outlining the main architectural features of Cell and use microbenchmar...
155
click to vote
ECOWS
2007
Springer
16 years 18 days ago
2007
Springer
For improved flexibility and concurrent usage existing transaction management models for Web services relax the isolation property of Web service-based transactions. Correctness o...