3172 search results - page 81 / 635 » Combining Specification Techniques for Processes, Data and T... |
168
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The Independent Component Analysis (ICA) model is extended to the case where the components are not necessarily independent: depending on the value a hidden latent process at the ...
139
click to vote
UIST
2009
ACM
16 years 24 days ago
2009
ACM
Time-series graphs are often used to visualize phenomena that change over time. Common tasks include comparing values at different points in time and searching for specified patte...
158
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Abstract-- In this paper, a technique that can efficiently reduce peak and average switching activity during test application is proposed. The proposed method does not require any ...
163
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
216
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
To address increasing traffic congestion and its associated consequences, traffic managers are turning to intelligent transportation management. The latte project is extending dat...