Sciweavers

2084 search results - page 106 / 417
» Knowledge Exploitation from the Web
Sort
View
MTV
2006
IEEE
138views Hardware» more  MTV 2006»
14 years 4 months ago
Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
Marc Herbstritt, Bernd Becker, Christoph Scholl
WWW
2011
ACM
13 years 5 months ago
OntoTrix: a hybrid visualization for populated ontologies
Most Semantic Web data visualization tools structure the representation according to the concept definitions and interrelations that constitute the ontology’s vocabulary. Insta...
Benjamin Bach, Emmanuel Pietriga, Ilaria Liccardi,...
ICDE
2010
IEEE
434views Database» more  ICDE 2010»
14 years 8 months ago
Progressive Result Generation for Multi-Criteria Decision Support Queries
— Multi-criteria decision support (MCDS) is crucial in many business and web applications such as web searches, B2B portals and on-line commerce. Such MCDS applications need to r...
Elke A. Rundensteiner, Venkatesh Raghavan
SAC
2004
ACM
14 years 4 months ago
WebUml: reverse engineering of web applications
Web applications have become complex and crucial for many firms, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reen...
Carlo Bellettini, Alessandro Marchetto, Andrea Tre...
HICSS
2006
IEEE
144views Biometrics» more  HICSS 2006»
14 years 4 months ago
Knowledge Transfer: Short-Circuiting the Learning Cycle?
Knowledge is considered to be a key organizational resource in the 21st century and the knowledge management ‘movement’ has alerted organizations to the fact that they should ...
Sue Newell, Robert D. Galliers