181 search results - page 25 / 37 » A Conceptual Graph Approach for the Generation of Referring ... |
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
ATVA
2009
Springer
13 years 11 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
IWCMC
2009
ACM
14 years 20 hour ago
2009
ACM
Autoconfiguration of the radio parameters is a key feature for next generation mobile networks. Especially for LTE the NGMN Forum has brought it up as a major requirement. It is ...
EVOW
2010
Springer
14 years 2 months ago
2010
Springer
We propose a novel distance based method for phylogenetic tree reconstruction. Our method is based on a conceptual clustering method that extends the well-known decision tree learn...
IVEVA
2004
13 years 8 months ago
2004
Today, the development of a VR application is still a long and difficult task as new features are being developed for Virtual Reality. There is a need to have better modelling tool...