2600 search results - page 294 / 520 » Tracking Complex Objects Using Graphical Object Models |
109
click to vote
CRIWG
2008
15 years 4 months ago
2008
This paper describes a case study addressing risk assessment in a hospital unit. The objective was to analyse the impact on collaborative work after the unit changed their installa...
112
click to vote
COMSIS
2007
15 years 3 months ago
2007
The theoretical outcomes and experimental results of new color model implemented in algorithms and software of image processing are presented in the paper. This model, as it will b...
141
click to vote
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
167
click to vote
PODS
1994
ACM
15 years 7 months ago
1994
ACM
Traditionally, computational complexity has considered only static problems. Classical Complexity Classes such as NC, P, and NP are de ned in terms of the complexity of checking {...
146
click to vote
WSC
2008
15 years 5 months ago
2008
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...