3994 search results - page 726 / 799 » A Linear Logical Framework |
DOCENG
2009
ACM
15 years 6 months ago
2009
ACM
In this paper we propose a novel approach to markup, called Extreme Annotational RDF Markup (EARMARK), using RDF and OWL to annotate features in text content that cannot be mapped...
120
click to vote
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
We introduce a stochastic model that describes the quasistatic dynamics of an electric transmission network under perturbations introduced by random load fluctuations, random rem...
MLG
2007
Springer
15 years 6 months ago
2007
Springer
We give a universal kernel that renders all the regular languages linearly separable. We are not able to compute this kernel efficiently and conjecture that it is intractable, but...
IDEAS
2002
IEEE
15 years 4 months ago
2002
IEEE
A new quality of service (QoS) aware disk scheduling algorithm is presented. It is applicable in environments where data requests arrive with different QoS requirements such as re...
ISSRE
2000
IEEE
15 years 4 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...