2742 search results - page 385 / 549 » Deriving Category Theory from Type Theory |
SIGIR
2006
ACM
14 years 3 months ago
2006
ACM
Combining the output from multiple retrieval sources over the same document collection is of great importance to a number of retrieval tasks such as multimedia retrieval, web retr...
ITICSE
2005
ACM
14 years 2 months ago
2005
ACM
Traditional teaching methods have acknowledged limitations. Lectures may be used to transmit information efficiently, but often fail to motivate students to engage with the subjec...
SPAA
2005
ACM
14 years 2 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
The three mechanisms of crossover are transmission, assortment, and respect. Of these three mechanisms, assortment (i.e. recombination) is traditionally viewed as the primary feat...