2044 search results - page 100 / 409 » System theory for numerical analysis |
170
click to vote
LICS
1998
IEEE
15 years 8 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
131
click to vote
CSCW
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents an analysis of written and electronic records that document the collaborative process of packing museum artifacts in preparation for a move. The majority of da...
124
click to vote
TIT
2008
15 years 4 months ago
2008
An underdetermined linear system of equations Ax = b with non-negativity constraint x 0 is considered. It is shown that for matrices A with a row-span intersecting the positive o...
142
click to vote
SIMPRA
2008
15 years 3 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
107
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
Jurisdictions across the globe are implementing CO2 emissions reduction policies. These policies typically ignore most locational issues, probably because the consequences of gree...