4902 search results - page 95 / 981 » Structures, Semantics and Statistics |
129
click to vote
IPMI
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. This paper presents a new approach to inverse consistent image registration. A uni-directional algorithm is developed using symmetric cost functionals and regularizers. I...
107
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Automated localization of software bugs is one of the essential issues in debugging aids. Previous studies indicated that the evaluation history of program predicates may disclose...
113
Voted
LREC
2010
15 years 5 months ago
2010
In this paper, we present a morphosyntactic tagset for Afrikaans based on the guidelines developed by the Expert Advisory Group on Language Engineering Standards (EAGLES). We comp...
142
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
XML is designed to facilitate data exchange between applications. However, XML and its schema languages do not express semantics but rather the document structure, such as the nes...
121
Voted
ICFP
1998
ACM
15 years 8 months ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...