361 search results - page 13 / 73 » Automatic Generation of Some Results in Finite Algebra |
DAGSTUHL
1996
13 years 9 months ago
1996
Abstract. This paper describes a compiler generator (cogen) designed for interactive graphics, and presents preliminary results of its application to pixel-level code. The cogen ac...
SCP
2000
13 years 8 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
TOPNOC
2008
13 years 8 months ago
2008
The key to efficient on-the-fly reachability analysis based on unfolding is to focus the expansion of the finite prefix towards the desired marking. However, current unfolding stra...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
We propose a novel conception language for exploring the results retrieved by several internet search services (like search engines) that cluster retrieved documents. The goal is ...
ISBI
2011
IEEE
13 years 5 days ago
2011
IEEE
Studying image intensity change in each pixel in dynamic contrast enhanced (DCE)-MRI data enables differentiation of different tissue types based on their difference in contrast u...