Sciweavers

11168 search results - page 2017 / 2234
» Abstract State Processes
Sort
View
EELC
2006
124views Languages» more  EELC 2006»
15 years 4 months ago
How Grammar Emerges to Dampen Combinatorial Search in Parsing
Abstract. According to the functional approach to language evolution (inspired by cognitive linguistics and construction grammar), grammar arises to deal with issues in communicati...
Luc Steels, Pieter Wellens
ESA
2006
Springer
136views Algorithms» more  ESA 2006»
15 years 4 months ago
Approximation in Preemptive Stochastic Online Scheduling
Abstract. We present a first constant performance guarantee for preemptive stochastic scheduling to minimize the sum of weighted completion times. For scheduling jobs with release ...
Nicole Megow, Tjark Vredeveld
102
Voted
ESORICS
2006
Springer
15 years 4 months ago
Policy-Driven Memory Protection for Reconfigurable Hardware
Abstract. While processor based systems often enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable har...
Ted Huffmire, Shreyas Prasad, Timothy Sherwood, Ry...
ESWS
2006
Springer
15 years 4 months ago
Automatic Extraction of Hierarchical Relations from Text
Abstract. Automatic extraction of semantic relationships between entity instances in an ontology is useful for attaching richer semantic metadata to documents. In this paper we pro...
Ting Wang, Yaoyong Li, Kalina Bontcheva, Hamish Cu...
107
Voted
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 4 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
« Prev « First page 2017 / 2234 Last » Next »