327 search results - page 49 / 66 » Some Elimination Problems for Matrices |
APLAS
2005
ACM
14 years 3 months ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
ICS
2005
Tsinghua U.
14 years 3 months ago
2005
Tsinghua U.
Although unstructured mesh algorithms are a popular means of solving problems across a broad range of disciplines—from texture mapping to computational fluid dynamics—they ar...
DEON
2004
Springer
14 years 3 months ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
ICSE
2003
IEEE-ACM
14 years 3 months ago
2003
IEEE-ACM
Software-intensive systems often exhibit dimensions in size and complexity that exceed the scope of comprehension of even talented, experienced system designers and analysts. With ...
ISMIR
2001
Springer
14 years 2 months ago
2001
Springer
In this paper, the problem of processing audio signals is addressed in the context of query-by-humming systems. Since singing is naturally used as input, we aim to develop a front...