1060 search results - page 82 / 212 » Mechanized semantics |
PLILP
1994
Springer
15 years 1 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...
ISM
2006
IEEE
14 years 9 months ago
2006
IEEE
A novel indexing and access method, called Affinity Hybrid Tree (AH-Tree), is proposed to organize large image data sets efficiently and to support popular image access mechanisms...
161
click to vote
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
Technology in the field of digital media generates huge amounts of nontextual information, audio, video, and images, along with more familiar textual information. The potential for...
CASES
2007
ACM
15 years 1 months ago
2007
ACM
Advances in semiconductor technologies have placed MPSoCs center stage as a standard architecture for embedded applications of ever increasing complexity. Efficient utilization of...
JMLR
2010
14 years 4 months ago
2010
This paper describes a set of visualization tools which aid the understanding of discussion topics and trends in online discussion forums. The tools integrate into the forum'...