8228 search results - page 337 / 1646 » Structural Logical Relations |
189
click to vote
JAPLL
2010
15 years 5 months ago
2010
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
232
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Web forums have become an important data resource for many web applications, but extracting structured data from unstructured web forum pages is still a challenging task due to bo...
175
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
Many real-world domains exhibit rich relational structure and stochasticity and motivate the development of models that combine predicate logic with probabilities. These models de...
165
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
171
click to vote
JOLLI
2002
15 years 6 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...