11374 search results - page 334 / 2275 » Demonstration of the CROSSMARC System |
199
Voted
ENTCS
2008
15 years 7 months ago
2008
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...
185
click to vote
AUTOMATICA
2006
15 years 7 months ago
2006
Controlling non-affine non-linear systems is a challenging problem in control theory. In this paper, we consider adaptive neural control of a completely non-affine pure-feedback s...
221
click to vote
JIKM
2008
15 years 7 months ago
2008
Expert systems (ESs) are complex information systems that are expensive to build and difficult to validate. Numerous knowledge representation strategies such as rules, semantic net...
187
Voted
SIGIR
2008
ACM
15 years 7 months ago
2008
ACM
The goal of system evaluation in information retrieval has always been to determine which of a set of systems is superior on a given collection. The tool used to determine system ...
185
click to vote
IJCSA
2007
15 years 7 months ago
2007
Power system defensive islanding is an efficient way to avoid catastrophic wide area blackouts, such as the 2003 North American Blackout. Finding defensive islands of large-scale ...