7890 search results - page 412 / 1578 » The MathSAT 3 System |
188
Voted
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
187
click to vote
ACL
2003
15 years 8 months ago
2003
We describe iNeATS – an interactive multi-document summarization system that integrates a state-of-the-art summarization engine with an advanced user interface. Three main goals...
167
click to vote
CISST
2003
15 years 8 months ago
2003
Modality conversion is an important part in the content adaptation process of a Universal Multimedia Access system. The decision on modality conversion is dependent on terminal/ne...
164
click to vote
LISA
2001
15 years 8 months ago
2001
After installing an OS distribution, a computer is generally not yet properly adapted to go into production at the local site. Security policies must be implemented, local service...
155
click to vote
WSCG
2001
15 years 8 months ago
2001
This paper shows an approach for a storytelling oriented interaction on digital video. All the interaction capabilities of the system are driven by the video context and therefore...