2586 search results - page 217 / 518 » Automatic Abstraction for Congruences |
150
click to vote
AIMSA
2008
Springer
16 years 29 days ago
2008
Springer
Abstract. This paper reports on experiments performed in the development of the QALL-ME system, a multilingual QA infrastructure capable of handling input requests both in written ...
176
click to vote
HICSS
2007
IEEE
16 years 28 days ago
2007
IEEE
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...
170
click to vote
ICMCS
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper contributes to the automatic indexing of concert video. In contrast to traditional methods, which rely primarily on audio information for summarization applications, we...
161
click to vote
EUROPAR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs (from now on, computational kernel...
171
click to vote
MKM
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...