4743 search results - page 251 / 949 » The PlusCal Algorithm Language |
152
Voted
NIPS
2008
15 years 5 months ago
2008
Language and image understanding are two major goals of artificial intelligence which can both be conceptually formulated in terms of parsing the input signal into a hierarchical ...
187
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
115
Voted
TIME
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
123
Voted
DIS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Clustering algorithms based on a matrix of pairwise similarities (kernel matrix) for the data are widely known and used, a particularly popular class being spectral clust...
126
Voted
IJSWIS
2008
15 years 3 months ago
2008
Relational technology has shown to be very useful for scalable Semantic Web data management. Numerous researchers have proposed to use RDBMSs to store and query voluminous RDF dat...