3052 search results - page 350 / 611 » Engineers Don't Search |
128
click to vote
DLOG
2003
15 years 2 months ago
2003
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...
82
Voted
SIGMOD
2004
ACM
16 years 26 days ago
2004
ACM
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...
121
Voted
ICSE
2005
IEEE-ACM
16 years 24 days ago
2005
IEEE-ACM
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...
86
Voted
ICSE
2007
IEEE-ACM
16 years 24 days ago
2007
IEEE-ACM
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...
96
Voted
CISIS
2009
IEEE
15 years 7 months ago
2009
IEEE
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ļ...