1438 search results - page 98 / 288 » An Expressive Extension of TLC |
123
Voted
SAMOS
2010
Springer
14 years 10 months ago
2010
Springer
OpenCL is a programming language standard which enables the programmer to express the application by structuring its computation as kernels. The OpenCL compiler is given the explic...
110
Voted
ICCV
2009
IEEE
16 years 5 months ago
2009
IEEE
We present a robust elastic and partial matching metric
for face recognition. To handle challenges such as pose, facial
expression and partial occlusion, we enable both elastic
...
181
Voted
POPL
2004
ACM
16 years 1 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
97
Voted
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
98
Voted
ICFP
2001
ACM
16 years 22 days ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...