7742 search results - page 231 / 1549 » The Robustness of Level Sets |
221
Voted
ISSS
1996
IEEE
15 years 10 months ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
169
click to vote
CHI
1994
ACM
15 years 10 months ago
1994
ACM
When working with large data sets, users perform three primary types of activities: data manipulation, data analysis, and data visualization. The data manipulation process involve...
173
click to vote
ASPDAC
1998
ACM
15 years 10 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
165
click to vote
UAI
2004
15 years 8 months ago
2004
A causal claim is any assertion that invokes causal relationships between variables, for example, that a drug has a certain e ect on preventing a disease. Causal claims are establ...
184
click to vote
ICSM
2006
IEEE
16 years 20 days ago
2006
IEEE
Software Engineers frequently need to locate and understand the code that implements a specific user feature of a large system. This paper reports on a study by Motorola Inc. and ...