10406 search results - page 439 / 2082 » Using RDF to Model the Structure and Process of Systems |
153
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
152
click to vote
HASE
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
139
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
132
click to vote
AAAI
1996
15 years 6 months ago
1996
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...
194
click to vote
ICDM
2010
IEEE
15 years 3 months ago
2010
IEEE
Regression problems on massive data sets are ubiquitous in many application domains including the Internet, earth and space sciences, and finances. In many cases, regression algori...