5900 search results - page 780 / 1180 » Dependable Systems |
174
click to vote
ECIR
2004
Springer
15 years 8 months ago
2004
Springer
In the novelty task on sentence level, the amount of information used in similarity computation is the major challenging issue. A shallow NLP approach extracts noun and verb featu...
144
click to vote
SSS
2010
Springer
15 years 5 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
195
click to vote
POPL
1990
ACM
15 years 11 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
205
click to vote
SPRINGSIM
2007
15 years 8 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
224
click to vote
TASE
2011
IEEE
15 years 1 months ago
2011
IEEE
: This paper addresses the dynamic pricing problem of a single-item, make-to-stock production system. Demand arrives according to Poisson processes with changeable arrival rate dep...