192 search results - page 34 / 39 » Matching Metamodels with Semantic Systems - An Experience Re... |
ICEIS
2009
IEEE
14 years 3 months ago
2009
IEEE
Traditional approaches for mining generalized association rules are based only on database contents, and focus on exact matches among items. However, in many applications, the use ...
ICIP
2009
IEEE
13 years 6 months ago
2009
IEEE
Cognitive systems are trained to recognise perceptually meaningful parts of an image. These regions contain some variation, i.e. local texture, and are roughly convex. We call suc...
CIKM
2007
Springer
14 years 18 days ago
2007
Springer
Every user has a distinct background and a specific goal when searching for information on the Web. The goal of Web search personalization is to tailor search results to a particu...
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...