Sciweavers

1438 search results - page 5 / 288
» An Expressive Extension of TLC
Sort
View
DLOG
2009
13 years 6 months ago
A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics
In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...
Giorgos Stoilos, Giorgos B. Stamou
ICONIP
2010
13 years 5 months ago
Exploring Features and Classifiers to Classify MicroRNA Expression Profiles of Human Cancer
Recently, some non-coding small RNAs, known as microRNAs (miRNA), have drawn a lot of attention to identify their role in gene regulation and various biological processes. The miRN...
Kyung-Joong Kim, Sung-Bae Cho
ESWS
2007
Springer
14 years 2 months ago
Extensible SPARQL Functions with Embedded Javascript
Abstract. The SPARQL Query Language allows filtering of query results through arbitrary predicate expressions. Such expressions may invoke custom functions identified with IRIs, ...
Greg Williams
CL
2000
Springer
13 years 8 months ago
A Formal Model for an Expressive Fragment of XSLT
The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtens...
Geert Jan Bex, Sebastian Maneth, Frank Neven
STACS
2001
Springer
14 years 29 days ago
A Toolkit for First Order Extensions of Monadic Games
In 1974 R. Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form...
David Janin, Jerzy Marcinkowski