2944 search results - page 23 / 589 » Robust Semantic Construction |
ACL
1989
13 years 8 months ago
1989
This paper shows that a first-order unificationbased semantic interpretation for various coordinate constructs is possible without an explicit use of lambda expressions if we slig...
RIAO
2007
13 years 8 months ago
2007
Web semantic access in specific domains calls for specialized search engines with enhanced semantic querying and indexing capacities, which pertain both to information retrieval (...
ISDO
2000
13 years 8 months ago
2000
Cross-organizational workflow management is an essential ingredient for process integration in virtual enterprises. To obtain cross-organizational workflow processes with robust s...
TPHOL
2002
IEEE
14 years 7 days ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
BMCBI
2011
12 years 11 months ago
2011
Background: The ability to search for and precisely compare similar phenotypic appearances within and across species has vast potential in plant science and genetic research. The ...