6618 search results - page 1134 / 1324 » Natural Logic for Natural Language |
160
click to vote
PODS
2004
ACM
16 years 6 months ago
2004
ACM
The important challenge of evaluating XPath queries over XML streams has sparked much interest in the past few years. A number of algorithms have been proposed, supporting wider f...
173
click to vote
MOBISYS
2003
ACM
16 years 6 months ago
2003
ACM
Remote execution can transform the puniest mobile device into a computing giant able to run resource-intensive applications such as natural language translation, speech recognitio...
176
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
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...
180
click to vote
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
180
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
We introduce a model of automaton for picture language recognition which is based on tiles and is called Wang automaton, since its description relies on the notation of Wang system...