2907 search results - page 81 / 582 » Presentations of Structures in Admissible Sets |
76
Voted
ICALT
2008
IEEE
15 years 7 months ago
2008
IEEE
Although the notion of generality is central in mathematics and science, being able to identify and express general patterns and/or articulating structures is one of the main dif...
117
Voted
ECWEB
2007
Springer
15 years 6 months ago
2007
Springer
Service matchmaking is the process of finding appropriate services for a given set of requirements. We present a novel service matchmaking approach based on the internal process o...
100
Voted
ICTAI
2006
IEEE
15 years 6 months ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
ICDT
2003
ACM
15 years 5 months ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
134
Voted
WCRE
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes a structured tool demonstration, a hybrid evaluation technique that combines elements from experiments, case studies, and technology demonstrations. Developer...