16616 search results - page 381 / 3324 » Extending Extended Vacuity |
204
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
183
Voted
AIEDAM
2010
15 years 4 months ago
2010
The growing movement of biologically inspired design is driven in part by the need for sustainable development and in part by the recognition that nature could be a source of inno...
156
click to vote
APAL
2010
15 years 4 months ago
2010
This paper is a sequel to the papers [4, 6] in which an alternative skolemization method called ekolemization was introduced that, when applied to the strong existential quantifie...
401
click to vote
ICASSP
2011
IEEE
15 years 4 months ago
2011
IEEE
The scope of the well-known k-means algorithm has been
broadly extended with some recent results: first, the k-
means++ initialization method gives some approximation
guarantees...
216
Voted
EC
2010
15 years 4 months ago
2010
Estimation of distribution algorithms (EDAs) that use marginal product model factorizations have been widely applied to a broad range of, mainly binary, optimization problems. In ...