1336 search results - page 184 / 268 » An approach to stopping problems of a dynamic fuzzy system |
PUK
2000
15 years 3 months ago
2000
Scheduling problems are usually treated within single plant environments or within companies with several production locations. Due to the globalization of markets companies can no...
120
click to vote
ENTCS
2007
15 years 1 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
156
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
We introduce a new approach to structure and motion recovery directly from one or more large planes in the scene. When such a plane exists, we demonstrate how to automatically det...
138
click to vote
STEP
2003
IEEE
15 years 6 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
184
Voted
VEE
2012
ACM
13 years 9 months ago
2012
ACM
Time Of Check To Time Of Use (TOCTTOU) race conditions for file accesses in user-space applications are a common problem in Unix-like systems. The mapping between filename and i...