2786 search results - page 28 / 558 » A Practical Technique for Process Abstraction |
106
click to vote
WSC
2008
15 years 3 months ago
2008
For simulation practitioners, the common steps in a simulation modeling engagement are likely familiar: problem assessment, requirements specification, model building, verificatio...
ICFEM
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
190
click to vote
CADE
2002
Springer
16 years 1 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
In the past, field operations have mostly been a stepchild of information and communication technology (ICT) enabled organizational overhaul and process re-design. Recently, incre...
102
click to vote
SODA
2012
ACM
13 years 3 months ago
2012
ACM
We consider the sparse Fourier transform problem: given a complex vector x of length n, and a parameter k, estimate the k largest (in magnitude) coefficients of the Fourier transf...