5550 search results - page 27 / 1110 » Different Approaches to Proof Systems |
DASFAA
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract. Query expansion has received extensive attention in information retrieval community. Although semantic based query expansion appears to be promising in improving retrieva...
147
click to vote
SRDS
2010
IEEE
14 years 8 months ago
2010
IEEE
Entities (e.g., users, services) have to authenticate themselves to service providers (SPs) in order to use their services. An entity provides personally identifiable information (...
DAS
2008
Springer
14 years 11 months ago
2008
Springer
A robust segmentation is the most important part of an automatic character recognition system (e.g. document processing, license plate recognition etc.). In our contribution we pr...
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...