700 search results - page 46 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
104
click to vote
ECTEL
2007
Springer
15 years 7 months ago
2007
Springer
We report on an ongoing project which aims at improving the eectiveness of retrieval and accessibility of learning object within learning management systems and learning object re...
109
click to vote
TVCG
2010
14 years 12 months ago
2010
As data sources become larger and more complex, the ability to effectively explore and analyze patterns amongst varying sources becomes a critical bottleneck in analytic reasoning...
104
click to vote
NJC
2006
15 years 1 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
131
click to vote
BMCBI
2008
15 years 1 months ago
2008
To address the challenges of information integration and retrieval, the computational genomics community increasingly has come to rely on the methodology of creating annotations o...
111
click to vote
OTM
2005
Springer
15 years 7 months ago
2005
Springer
In ubiquitous computing, behavior routine learning is the process of mining the context-aware data to find interesting rules on the user’s behavior, while preference learning tri...