3624 search results - page 503 / 725 » Abstract Algebraic Logic |
177
click to vote
ICTCS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
174
click to vote
LPNMR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...
181
click to vote
RULEML
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...
171
click to vote
ECAI
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
175
click to vote
ECCV
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. We present a new method for delineating the osseous interface in ultrasound images. Automatic segmentation of the bone-soft tissues interface is achieved by mimicking the...