3726 search results - page 187 / 746 » A structured definition of the modeling process |
216
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
184
click to vote
ENGL
2007
15 years 7 months ago
2007
—The concept of ‘manipulability’ is particularly important to characterize the ability of a serial kinematic chain – artificial manipulator or natural limb – to move quic...
170
click to vote
HICSS
2010
IEEE
16 years 2 months ago
2010
IEEE
Large scale penetration of digital technologies led them to join roads, electricity, and water distribution, as essential infrastructures of modernity. “Digital convergence” r...
191
click to vote
ICASSP
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a study into all-pole spectral envelope estimation for the case of harmonic signals. We address the problem of the selection of the model order and propose to make use ...
210
click to vote
ICDE
2000
IEEE
15 years 11 months ago
2000
IEEE
Processes for crisis mitigation must permit coordination flexibility and dynamic change to empower crisis mitigation coordinators and experts to deal with the unexpected situatio...