18429 search results - page 3301 / 3686 » Typing dynamic typing |
204
click to vote
WEA
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. A major task in evolutionary biology is to determine the ancestral relationships among the known species, a process generally referred as phylogenetic reconstruction. In ...
189
click to vote
WOLLIC
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
162
click to vote
AUIC
2006
IEEE
16 years 28 days ago
2006
IEEE
Graphical rewrite rules are often used in programming environments for children. These rules consist of two parts: a left-hand side, which is visually matched in the environment, ...
168
click to vote
AVSS
2006
IEEE
16 years 28 days ago
2006
IEEE
Most surveillance and monitoring systems nowadays utilize multiple types of sensors. However, due to the asynchrony among and diversity of sensors, information assimilation how to...
211
click to vote
BROADNETS
2006
IEEE
16 years 28 days ago
2006
IEEE
— Advance reservation is a mechanism to guarantee the availability of resources when they are needed. In the context of LambdaGrid, this mechanism is used to provide data-intensi...