3381 search results - page 265 / 677 » Extending Dependencies with Conditions |
173
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
181
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a new Bayesian approach to object identification: variants. By object identification we mean the detection of the member (regular variant) of a given statistical popula...
228
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
Based on an explicit formulation of delays, an improved model for low voltage operation of CMOS inverter has been derived. Extrinsic and intrinsic effects, such as transistor curr...
159
click to vote
DLOG
2007
15 years 9 months ago
2007
We now know that the addition of a concept constructor called a Path Functional Dependency (PFD) to the Boolean-complete description logic DLF leads to undecidability of ABox consi...
168
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
A fundamental problem related to graph structured databases is searching for substructures. One issue with respect to optimizing such searches is the ability to estimate the freque...