Sciweavers

3052 search results - page 350 / 611
» Engineers Don't Search
Sort
View
DLOG
2003
14 years 11 days ago
Incremental Query Answering for Implementing Document Retrieval Services
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
Volker Haarslev, Ralf Möller
SIGMOD
2004
ACM
120views Database» more  SIGMOD 2004»
14 years 11 months ago
Toward an ontology-enhanced information filtering agent
Whereas search engines assist users in locating initial information sources, often an overwhelmingly large number of ULRs is returned, and the task of browsing websites rests heavi...
Kwang Mong Sim
ICSE
2005
IEEE-ACM
14 years 11 months ago
Check 'n' crash: combining static checking and testing
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
Christoph Csallner, Yannis Smaragdakis
ICSE
2007
IEEE-ACM
14 years 11 months ago
Korat: A Tool for Generating Structurally Complex Test Inputs
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
Aleksandar Milicevic, Sasa Misailovic, Darko Marin...
CISIS
2009
IEEE
14 years 5 months ago
New Physiological Biometrics Based on Human Cognitive Factors
Modeling and quantifying diļ¬€erent human factors continue to be one of the major challenges in introducing new biometric systems. For example, drivers of some of our behavior diļ...
Omar Hamdy, Issa Traore