6894 search results - page 1093 / 1379 » Generation Problems |
169
Voted
RE
2001
Springer
15 years 11 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
173
click to vote
SEMWEB
2001
Springer
15 years 11 months ago
2001
Springer
Resolving heterogeneity among information systems is a crucial necessity if we wish to gain value from the many distributed resources available to us. Problems of heterogeneity in ...
159
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
Complex similarity queries, i.e., multi-feature multi-object queries, are needed to express the information need of a user against a large multimedia repository. Even if a user in...
170
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
In this paper we focus on the following problem in information management: given a large collection of recorded information and some knowledge of the process that is generating th...
169
click to vote
ATS
2000
IEEE
15 years 11 months ago
2000
IEEE
Testing of embedded cores is very difficult in SOC (system-on-a-chip), since the core user may not know the gate level implementation of the core, and the controllability and obse...