2944 search results - page 249 / 589 » On Well Quasi-orders on Languages |
198
click to vote
TSMC
2010
15 years 1 months ago
2010
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
185
click to vote
PEPM
2011
ACM
14 years 9 months ago
2011
ACM
Writing deterministic programs is often difficult for problems whose optimal solutions depend on unpredictable properties of the programs’ inputs. Difficulty is also encounter...
181
click to vote
CICLING
2010
Springer
16 years 1 months ago
2010
Springer
We present an approach for automatic detection of topic change. Our approach is based on the analysis of statistical features of topics in time-sliced corpora and their dynamics ov...
161
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
Repositories of code written by end-user programmers are beginning to emerge, but when a piece of code is new or nobody has yet reused it, then current repositories provide users ...
265
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...