17983 search results - page 177 / 3597 » Set Types and Applications |
182
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
308
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
194
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
This paper uses a constraint set approach to linear programming problems with equality constraints whose coefficients and/or right-hand side values could be uncertain. We consider ...
185
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The HL7 standard is widely used to exchange medical information electronically. As a part of the standard, HL7 defines scalar communication data types like physical quantity, poin...
187
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
We introduce a shape descriptor that is based on the Symmetry Set. This set represents pairwise symmetric points and consists of several branches. The begin and end points of the ...