Sciweavers

4963 search results - page 677 / 993
» Implementing a Categorical Information System
Sort
View
DEXA
2008
Springer
137views Database» more  DEXA 2008»
15 years 9 months ago
A Grid-Based Multi-relational Approach to Process Mining
Abstract. Industrial, scientific, and commercial applications use information systems to trace the execution of a business process. Relevant events are registered in massive logs a...
Antonio Turi, Annalisa Appice, Michelangelo Ceci, ...
FLOPS
2008
Springer
15 years 9 months ago
Proving Properties about Lists Using Containers
Bundy and Richardson [7] presented a technique for reasoning about lists using ellipsis (the dots in 1+2+...+10), where a polymorphic function, denoted by 2, is used to encapsulate...
Rawle Prince, Neil Ghani, Conor McBride
181
Voted
AAAI
2010
15 years 9 months ago
Toward an Architecture for Never-Ending Language Learning
We consider here the problem of building a never-ending language learner; that is, an intelligent computer agent that runs forever and that each day must (1) extract, or read, inf...
Andrew Carlson, Justin Betteridge, Bryan Kisiel, B...
CLIMA
2007
15 years 9 months ago
EVOLP: Tranformation-Based Semantics
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
Martin Slota, João Leite
173
Voted
ICWS
2007
IEEE
15 years 9 months ago
Improving the Performance of Web Services Using Deployment-Time Binding Selection
In this paper, we present a novel deployment-time binding selection framework for Web services to improve the performance. Using the information about target environments, we dete...
Sang Jeong Lee, Kyung Dong Ryu, Kang-Won Lee, Jong...