3454 search results - page 179 / 691 » Modern computer algebra |
178
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper examines various aspects of "openness" in research, and seeks to gauge the degree to which escience is congruent with "open science." Norms and prac...
147
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Traditional corner analysis fails to guarantee a target yield for a given performance metric. However, recently proposed solutions, in the form of statistical timing analysis, whi...
186
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. In Computer Vision applications, one usually has to work with uncertain data. It is therefore important to be able to deal with uncertain geometry and uncertain transform...
203
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Component based software development is prone to unexpected interaction faults. The goal is to test as many potential interactions as is feasible within time and budget constraint...
150
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...