2488 search results - page 244 / 498 » An improvement in formal verification |
103
click to vote
KCAP
2003
ACM
15 years 6 months ago
2003
ACM
Many AI tasks require determining whether two knowledge representations encode the same knowledge. Solving this matching problem is hard because representations may encode the sam...
118
click to vote
KES
2009
Springer
15 years 6 months ago
2009
Springer
: With the increase in the amount and complexity of information, data warehouse performance has become a constant issue, especially for decision support systems. As decisional expe...
VLDB
1995
ACM
15 years 5 months ago
1995
ACM
Applications in finance and telecommunications (intelligent network, network management, mobile computing) cause renewed interest in distributed and replicated data management. Si...
122
click to vote
INCDM
2010
Springer
15 years 4 months ago
2010
Springer
Hospitals increasingly use process models for structuring their care processes. Activities performed to patients are logged to a database but these data are rarely used for managin...
IJCAI
2007
15 years 2 months ago
2007
Accurate entity resolution is sometimes impossible simply due to insufficient information. For example, in research paper author name resolution, even clever use of venue, title ...