2042 search results - page 232 / 409 » Automatic Understanding of Signals |
113
Voted
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
Scientific programs rely heavily on software libraries. This paper describes the limitations of this reliance and shows how it degrades software quality. We offer a solution that u...
140
Voted
WLP
2000
Springer
15 years 7 months ago
2000
Springer
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
148
Voted
AAAI
2007
15 years 5 months ago
2007
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
104
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
128
Voted
DOCENG
2005
ACM
15 years 5 months ago
2005
ACM
Structured document content reuse is the problem of restructuring and translating data structured under a source schema into an instance of a target schema. A notion closely tied ...