Sciweavers

1596 search results - page 128 / 320
» Using knowledge nodes for knowledge discovery and collaborat...
Sort
View
ADC
2007
Springer
124views Database» more  ADC 2007»
15 years 4 months ago
Interoperability for Geospatial Analysis: a Semantics and Ontology-based Approach
Information extraction and integration from heterogeneous, autonomous data resources are major requirements for many spatial applications. Geospatial analysis for scientific disco...
Zarine Kemp, Lei Tan, Jacqueline L. Whalley
MTV
2006
IEEE
138views Hardware» more  MTV 2006»
15 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
HICSS
2008
IEEE
130views Biometrics» more  HICSS 2008»
15 years 5 months ago
An Interview Protocol for Discovering and Assessing Collaboration Engineering Opportunities
Collaboration Engineering (CE) projects can run for months and can require substantial expenditures of effort and resources. CE is an approach to designing collaborative work prac...
Robert O. Briggs, Alanah J. Davis, John D. Murphy
HASE
1998
IEEE
15 years 2 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
IJCAI
2007
14 years 12 months ago
Using Linear Programming for Bayesian Exploration in Markov Decision Processes
A key problem in reinforcement learning is finding a good balance between the need to explore the environment and the need to gain rewards by exploiting existing knowledge. Much ...
Pablo Samuel Castro, Doina Precup