7121 search results - page 1194 / 1425 » Functions as Session-Typed Processes |
132
click to vote
CIKM
2010
Springer
15 years 3 months ago
2010
Springer
Traditional interactive information retrieval systems function by creating inverted lists, or term indexes. For every term in the vocabulary, a list is created that contains the d...
132
click to vote
ACTA
2008
15 years 3 months ago
2008
We consider a model of random trees similar to the split trees of Devroye [30] in which a set of items is recursively partitioned. Our model allows for more flexibility in the cho...
112
Voted
EUROMED
2010
15 years 3 months ago
2010
The research is focused on traditional timber frame structures (TFS) situated in rural areas. Often neglected, remaining examples embody our build Heritage. However, architects hav...
148
click to vote
IAJIT
2010
15 years 3 months ago
2010
: Image segmentation is an essential step in image processing. The goal of segmentation is to simplify and/or to change the representation of an image into a form easier to analyze...
122
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...