2529 search results - page 431 / 506 » The Logical Structure of Binding |
147
click to vote
LICS
2008
IEEE
16 years 21 days ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
166
click to vote
RECONFIG
2008
IEEE
16 years 21 days ago
2008
IEEE
—We present algorithms for implementing large-scale regular expression matching (REM) on FPGA. Based on the proposed algorithms, we develop tools that first transform regular ex...
171
click to vote
TIME
2008
IEEE
16 years 21 days ago
2008
IEEE
Frequent behavioural pattern mining is a very important topic of knowledge discovery, intended to extract correlations between items recorded in large databases or Web acces logs....
185
click to vote
TPHOL
2008
IEEE
16 years 21 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
149
click to vote
ACSC
2007
IEEE
16 years 20 days ago
2007
IEEE
A web service is programmatically available application logic exposed over Internet. With the rapid development of e-commerce over Internet, web services have attracted much atten...