1216 search results - page 89 / 244 » Hybrid type checking |
164
Voted
HVC
2005
Springer
15 years 9 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
122
Voted
DEXA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Recent works in XML change detection have focused on detecting changes to ordered or unordered XML documents. However, in real life XML documents may not always be purely...
109
Voted
ICC
2000
IEEE
15 years 8 months ago
2000
IEEE
: A new push-and-pull hybrid data broadcast scheme is proposed for providing wireless information services to three types of clients, general, pull and priority clients. Only pull ...
134
Voted
EMNLP
2006
15 years 5 months ago
2006
Markov order-1 conditional random fields (CRFs) and semi-Markov CRFs are two popular models for sequence segmentation and labeling. Both models have advantages in terms of the typ...
125
click to vote
DAC
2000
ACM
16 years 4 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...