2702 search results - page 359 / 541 » Practically Applicable Formal Methods |
115
click to vote
COLING
2010
14 years 9 months ago
2010
Recent kernel-based PPI extraction systems achieve promising performance because of their capability to capture structural syntactic information, but at the expense of computation...
FAC
2011
14 years 9 months ago
2011
UseCase-wise Development, an ‘Agile Method’ which introduces functionality into an application stage by stage, with each stage being carried through (ideally) to implementation...
110
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Direction of arrival (DOA) estimation using sensor array superresolution techniques are known to suffer from array modeling errors including array element displacements, mutual co...
213
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
115
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Biological scientists have made large amounts of data available on the Web, which can be accessed by canned or precomputed queries presented via web forms. To satisfy further info...