Sciweavers

5170 search results - page 733 / 1034
» A Document-Oriented Approach to the Development of Knowledge...
Sort
View
PADL
2005
Springer
16 years 28 days ago
Safe Programming with Pointers Through Stateful Views
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
Dengping Zhu, Hongwei Xi
176
Voted
BPM
2004
Springer
110views Business» more  BPM 2004»
16 years 26 days ago
Integration of Multi-attributed Negotiations within Business Processes
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...
Carlo Simon, Michael Rebstock
RTA
2004
Springer
16 years 24 days ago
Automated Termination Proofs with AProVE
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
Jürgen Giesl, René Thiemann, Peter Sch...
EWCBR
2006
Springer
15 years 11 months ago
What Evaluation Criteria Are Right for CCBR? Considering Rank Quality
Abstract. Evaluation criteria for conversational CBR (CCBR) systems are important to guide development and tuning of new methods, and to enable practitioners to make informed decis...
Steven Bogaerts, David B. Leake
CIKM
2008
Springer
15 years 9 months ago
Coreex: content extraction from online news articles
We developed and tested a heuristic technique for extracting the main article from news site Web pages. We construct the DOM tree of the page and score every node based on the amo...
Jyotika Prasad, Andreas Paepcke