1836 search results - page 293 / 368 » Hierarchies for semantic classes |
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
PPDP
2000
Springer
15 years 1 months ago
2000
Springer
Identifying the source of space faults in functional programs is hard. The problem is compoundedas space usage can vary enormously from one implementation to another. We use a ter...
105
click to vote
DOOD
1991
Springer
15 years 1 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
AAAI
2008
15 years 4 days ago
2008
This paper presents an approach to acquire knowledge from Wikipedia categories and the category network. Many Wikipedia categories have complex names which reflect human classific...
WSC
2008
15 years 4 days ago
2008
Proposed and developed is a framework and an extensible library of simulation modeling components for strategic sourcing and transportation. The components include items, supplier...