1914 search results - page 343 / 383 » Verification by Abstract Interpretation |
JUCS
2006
15 years 13 days ago
2006
Abstract: Most modern computer applications should run on heterogeneous platforms and, moreover, objects and respective code should be easily interchangeable between distinct platf...
111
click to vote
FUIN
2007
15 years 13 days ago
2007
Abstract. The notion of rules is very popular and appears in different flavors, for example as association rules in data mining or as functional dependencies in databases. Their s...
101
Voted
TASLP
2008
15 years 12 days ago
2008
Abstract--Regions of nonmodal phonation, which exhibit deviations from uniform glottal-pulse periods and amplitudes, occur often in speech and convey information about linguistic c...
88
Voted
BC
2005
15 years 11 days ago
2005
Abstract We model the dynamical behavior of the neuropil, the densely interconnected neural tissue in the cortex, using neuropercolation approach. Neuropercolation generalizes phas...
109
Voted
TCSV
2008
15 years 11 days ago
2008
Abstract--During the last years, the task of automatic event analysis in video sequences has gained an increasing attention among the research community. The application domains ar...