3394 search results - page 128 / 679 » Regular Object Types |
132
click to vote
LICS
2012
IEEE
13 years 3 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
112
click to vote
ISSRE
2006
IEEE
15 years 6 months ago
2006
IEEE
A Java monitor is a Java class that defines one or more synchronized methods. Unlike a regular object, a Java monitor object is intended to be accessed by multiple threads simulta...
92
Voted
ISCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
—A method for detection of tree branches and leaves in video is proposed. It is observed that the motion vectors of tree branches and leaves exhibit random motion. On the other h...
115
Voted
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with -regular winning conditions specified as Ra...
109
Voted
SSD
2005
Springer
15 years 6 months ago
2005
Springer
Topological predicates are an important element of database systems that allow manipulation of spatial data. Based on the necessity for such systems to handle uncertainty, we intro...