2488 search results - page 452 / 498 » An improvement in formal verification |
139
click to vote
CASCON
2008
15 years 2 months ago
2008
Databases are growing rapidly in scale and complexity. High performance, availability, and further service level agreements need to be satisfied under any circumstances to please ...
74
Voted
LREC
2010
15 years 2 months ago
2010
This paper presents an algorithm for aligning FrameNet lexical units to WordNet synsets. Both, FrameNet and WordNet, are well-known as well as widely-used resources by the entire ...
103
click to vote
LKR
2008
15 years 2 months ago
2008
Abstract. Recent research has enabled important progress in developing agents aimed at real-world linguistic interaction with humans. Hence, within the general shift of research fo...
119
click to vote
IJCAI
2007
15 years 2 months ago
2007
Evaluation measures play an important role in machine learning because they are used not only to compare different learning algorithms, but also often as goals to optimize in cons...
109
click to vote
MEDINFO
2007
15 years 2 months ago
2007
The need of biomedical vocabularies is well known for various tasks, e.g., supporting structured data entry, decision support and electronic data exchange as well as retrieval and...