5339 search results - page 472 / 1068 » Controllable Delay-Insensitive Processes |
199
click to vote
ENTCS
2008
15 years 7 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
169
click to vote
COMCOM
2007
15 years 6 months ago
2007
The difficulty of efficiently reordering the rules in an Access Control List is considered and the essential optimisation problem formulated. The complexity of exact and sophistic...
176
click to vote
IVC
2008
15 years 6 months ago
2008
A novel mathematical framework inspired on Morse Theory for topological triangle characterization in 2D meshes is introduced that is useful for applications involving the creation...
190
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
Standard pattern discovery techniques, such as association rules, suffer an extreme risk of finding very large numbers of spurious patterns for many knowledge discovery tasks. The...
166
click to vote
SIAMCO
2008
15 years 6 months ago
2008
We introduce a new class of control problems in which the gain depends on the solution of a stochastic differential equation reflected at the boundary of a bounded domain, along d...