3994 search results - page 726 / 799 » A Linear Logical Framework |
177
click to vote
DOCENG
2009
ACM
16 years 12 days 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...
183
Voted
HICSS
2007
IEEE
16 years 6 days 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...
129
Voted
MLG
2007
Springer
16 years 12 hour 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...
168
click to vote
IDEAS
2002
IEEE
15 years 10 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...
150
click to vote
ISSRE
2000
IEEE
15 years 10 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...