Sciweavers

551 search results - page 72 / 111
» Semantic knowledge in word completion
Sort
View
VMCAI
2010
Springer
14 years 7 months ago
Temporal Reasoning for Procedural Programs
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
Rajeev Alur, Swarat Chaudhuri
LREC
2010
233views Education» more  LREC 2010»
13 years 11 months ago
The Development of a Morphosyntactic Tagset for Afrikaans and its Use with Statistical Tagging
In this paper, we present a morphosyntactic tagset for Afrikaans based on the guidelines developed by the Expert Advisory Group on Language Engineering Standards (EAGLES). We comp...
Boris Haselbach, Ulrich Heid
AAAI
2007
14 years 12 days ago
An Investigation into Computational Recognition of Children's Jokes
bstract or nonliving entities act or are described as living. And living things gain extra benefits such as animals talking. For this reason, the standard scripts are modified to a...
Julia M. Taylor, Lawrence J. Mazlack
DAGSTUHL
2004
13 years 11 months ago
SHIM: A Language for Hardware/Software Integration
Virtually every system designed today is an amalgam of hardware and software. Unfortunately, software and circuits that communicate across the hardware/software boundary are tedio...
Stephen A. Edwards
BMCBI
2008
140views more  BMCBI 2008»
13 years 10 months ago
Corpus annotation for mining biomedical events from literature
Background: Advanced Text Mining (TM) such as semantic enrichment of papers, event or relation extraction, and intelligent Question Answering have increasingly attracted attention...
Jin-Dong Kim, Tomoko Ohta, Jun-ichi Tsujii