11063 search results - page 163 / 2213 » On the existence of universal models |
152
click to vote
ISPW
2007
IEEE
16 years 23 days ago
2007
IEEE
There is large uncertainty with the software cost in the early stages of software development due to requirement volatility, incomplete understanding of product domain, reuse oppor...
170
click to vote
CONCUR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
195
click to vote
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper introduces an immersive virtual reality application that allows users to browse and explore the contents of database systems. We have implemented a visualization metaph...
185
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
- Most image processing applications are computationally intensive and data intensive. Reconfigurable hardware boards provide a convenient and flexible solution to speed up these a...
198
click to vote
ICMLA
2009
15 years 4 months ago
2009
Languages that combine predicate logic with probabilities are needed to succinctly represent knowledge in many real-world domains. We consider a formalism based on universally qua...