Sciweavers

1587 search results - page 161 / 318
» The Semantics of Extended SOFL
Sort
View
FUIN
2007
100views more  FUIN 2007»
13 years 9 months ago
Interpreted Nets
The nets considered here are an extension of Petri nets in two aspects. In the semantical aspect, there is no one firing rule common to all transitions, but every transition is tr...
Ludwik Czaja
DKE
2000
97views more  DKE 2000»
13 years 9 months ago
Adaptive natural language interfaces to FAQ knowledge bases
In this paper we present a natural language interface architecture, which is used for accessing FAQ knowledge bases. Since one of the main obstacles to the efficient use of natura...
Werner Winiwarter
ENTCS
2002
107views more  ENTCS 2002»
13 years 9 months ago
Declarative Debugging for Encapsulated Search
Declarative debugging has been proposed as a suitable technique for developing debuggers in the context of declarative languages. However, to become really useful debuggers must b...
Rafael Caballero, Wolfgang Lux
BMCBI
2010
195views more  BMCBI 2010»
13 years 4 months ago
MBAT: A scalable informatics system for unifying digital atlasing workflows
Background: Digital atlases provide a common semantic and spatial coordinate system that can be leveraged to compare, contrast, and correlate data from disparate sources. As the q...
Daren Lee, Seth Ruffins, Queenie Ng, Nikhil Sane, ...
VEE
2012
ACM
255views Virtualization» more  VEE 2012»
12 years 4 months ago
Adding dynamically-typed language support to a statically-typed language compiler: performance evaluation, analysis, and tradeof
Applications written in dynamically typed scripting languages are increasingly popular for Web software development. Even on the server side, programmers are using dynamically typ...
Kazuaki Ishizaki, Takeshi Ogasawara, José G...