7213 search results - page 1291 / 1443 » Automated model grouping |
180
click to vote
FLAIRS
2008
15 years 8 months ago
2008
The problem of recognizing textual entailment (RTE) has been recently addressed using syntactic and lexical models with some success. Here, we further explore this problem, this t...
240
click to vote
ACMSE
2008
ACM
15 years 7 months ago
2008
ACM
Biometrics is an emerging field via the automated use of unique and measurable physiological or behavioral characteristics to determine or verify identity. Biometrics has a variet...
163
click to vote
MMB
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
178
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. Since Web services have been enhanced with formal semantic descriptio...
192
click to vote
EGOV
2008
Springer
15 years 7 months ago
2008
Springer
During the last decades eGovernment has been a vivid, dynamic research and development area. As services are being transformed, electronic documents and web services appear every d...