10406 search results - page 434 / 2082 » Using RDF to Model the Structure and Process of Systems |
142
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
141
click to vote
PAMI
2006
15 years 5 months ago
2006
This paper argues that tracking, object detection, and model-building are all similar activities. We describe a fully automatic system that builds 2D articulated models known as pi...
241
click to vote
SIGMOD
2008
ACM
16 years 5 months ago
2008
ACM
Scientific workflow systems are increasingly used to automate complex data analyses, largely due to their benefits over traditional approaches for workflow design, optimization, a...
124
Voted
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Establishing criteria for knowledge management is an imperative aspect of management as it helps determine results. Our research indicated that widely-accepted criteria and perfor...
224
Voted
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
— Array database systems are architected for scientific and engineering applications. In these applications, the value of a cell is often imprecise and uncertain. There are at le...