623 search results - page 41 / 125 » Relational Parametricity for Control Considered as a Computa... |
110
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Business Process Management (BPM) technology has become an important instrument for improving process performance. When considering its use, however, enterprises typically have to...
BROADNETS
2006
IEEE
15 years 6 months ago
2006
IEEE
RSVP–TE is a signaling protocol to setup and teardown lightpaths in wavelength–routed GPMLS networks. RSVP– TE uses the soft–state control mechanism to manage lightpaths. ...
WCE
2007
2007
Performance Analysis of Job-Shop Production Systems under Different Order Release Control Parameters
15 years 1 months ago
—Controlling the flow of materials inside job-shops involves several decisions such as the acceptance or rejection of an incoming order, the order’s due date definition, the re...
ICML
2003
IEEE
16 years 20 days ago
2003
IEEE
We consider the problem of unsupervised learning from a matrix of data vectors where in each row the observed values are randomly permuted in an unknown fashion. Such problems ari...
IWPEC
2004
Springer
15 years 5 months ago
2004
Springer
Consider the following problem, that we call “Chordless Path through Three Vertices” or CP3V, for short: Given a simple undirected graph G = (V, E), a positive integer k, and t...