1864 search results - page 124 / 373 » Formal topology and domains |
152
click to vote
AAAI
2010
15 years 7 months ago
2010
We describe a generic framework for representing and reasoning with annotated Semantic Web data, formalise the annotated language, the corresponding deductive system, and address ...
171
click to vote
AIPS
2006
15 years 7 months ago
2006
This paper provides techniques for hierarchical task network (HTN) planning with durative actions. HTNs can provide useful heuristic guidance to planners, express goals that canno...
157
click to vote
ACL
2003
15 years 7 months ago
2003
This paper presents a novel information system integrating advanced information extraction technology and automatic hyper-linking. Extracted entities are mapped into a domain onto...
153
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
We present a formal description of a neurofuzzy system capable of aligning two sequences recognizing their internal structure. The alignment is done on two levels: grouping of the...
209
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...