Sciweavers

11066 search results - page 245 / 2214
» Linearity in Process Languages
Sort
View
LICS
1997
IEEE
15 years 8 months ago
Semantics of Exact Real Arithmetic
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
Peter John Potts, Abbas Edalat, Martín H&ou...
ICFP
2010
ACM
15 years 5 months ago
Higher-order representation of substructural logics
We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Fra...
Karl Crary
CAISE
2008
Springer
15 years 6 months ago
A Work Allocation Language with Soft Constraints
Today's business process orchestration languages such as WS-BPEL and BPML have high-level constructs for specifying flow of control and data, but facilities for allocating ta...
Christian Stefansen, Sriram K. Rajamani, Parameswa...
ICONIP
2007
15 years 6 months ago
Interpretable Piecewise Linear Classifier
In this study we propose a new ensemble model composed of several linear perceptrons. The objective of this study is to build a piecewise-linear classifier that is not only compet...
Pitoyo Hartono
ICIAP
2001
Springer
16 years 4 months ago
Recognition of Shape-Changing Hand Gestures Based on Switching Linear Model
We present a method to track and recognize shape-changing hand gestures simultaneously. The switching linear model using active contour model well corresponds to temporal shapes a...
Mun Ho Jeong, Yoshinori Kuno, Nobutaka Shimada, Yo...