1581 search results - page 63 / 317 » Mechanizing Inductive Reasoning |
168
Voted
PLPV
2010
ACM
16 years 3 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
182
click to vote
ER
1999
Springer
15 years 10 months ago
1999
Springer
Video data management (VDM) is fast becoming one of seminar topics in multimedia information systems. In VDM systems, there exists an important need for novel techniques and mechan...
157
Voted
AGI
2008
15 years 7 months ago
2008
: A series of hypotheses is proposed, connecting neural structures and dynamics with the formal structures and processes of probabilistic logic. First, a hypothetical connection is...
162
Voted
PVLDB
2008
15 years 5 months ago
2008
Keyword search is a user-friendly mechanism for retrieving XML data in web and scientific applications. An intuitively compelling but vaguely defined goal is to identify matches t...
183
click to vote
SUTC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—As the number of wireless sensor network applications continues to grow, the need for specialized task scheduling mechanisms, aware of the sensor devices’ capabilities...