5924 search results - page 59 / 1185 » Normal Process Representatives |
124
Voted
ER
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Data in many industrial application systems are often neither completely structured nor unstructured. Consequently semi-structured data models such as XML have become pop...
104
Voted
CP
2000
Springer
15 years 4 months ago
2000
Springer
The ability to reduce either the number of variables or clauses in instances of the Satisfiability problem (SAT) impacts the expected computational effort of solving a given instan...
129
click to vote
SOSL
1993
15 years 4 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...
125
Voted
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
In statistical pattern recognition, it is important to estimate true distribution of patterns precisely to obtain high recognition accuracy. Normal mixtures are sometimes used for...
118
Voted
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
Automating business processes especially in the tertiary sector is still a challenge as they are normally knowledge intensive, little automated but compliance relevant. To meet the...