1345 search results - page 154 / 269 » A Class of Logarithmic Integrals |
128
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
147
click to vote
IQIS
2007
ACM
15 years 6 months ago
2007
ACM
Relational Database Systems often support activities like data warehousing, cleaning and integration. All these activities require performing some sort of data transformations. Si...
129
click to vote
ACL
2007
15 years 6 months ago
2007
Dependency-based representations of natural language syntax require a fine balance between structural flexibility and computational complexity. In previous work, several constra...
117
click to vote
LREC
2008
15 years 6 months ago
2008
We report on an on-going research project aimed at increasing the range of translation equivalents which can be automatically discovered by MT systems. The methodology is based on...
180
click to vote
NIPS
2008
15 years 6 months ago
2008
We present an approach that combines bag-of-words and spatial models to perform semantic and syntactic analysis for recognition of an object based on its internal appearance and i...