5451 search results - page 98 / 1091 » Typed Operational Semantics |
237
click to vote
APAL
2011
14 years 10 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
193
Voted
MOC
2011
14 years 10 months ago
2011
We provide a new analytical approach to operator splitting for equations of the type ut = Au + B(u) where A is a linear operator and B is quadratic. A particular example is the Kor...
114
click to vote
MM
2004
ACM
15 years 8 months ago
2004
ACM
Colonoscopy is an important screening tool for colorectal cancer. During a colonoscopic procedure, a tiny video camera at the tip of the endoscope generates a video signal of the ...
109
click to vote
XIMEP
2005
ACM
15 years 9 months ago
2005
ACM
There are three set operators defined in XQuery, namely union, intersect and except. They take node sequences as operands, in which each node is identified by its node-ID and tr...
115
Voted
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
We propose undoable versions of the projection operations used when programs written in higher-order statically-typed languages interoperate with dynamically typed ones, localizing...