826 search results - page 85 / 166 » A computational approach to the design of micromechanical hi... |
ISORC
1998
IEEE
13 years 12 months ago
1998
IEEE
: Systems are defined by their components and the relationships among their components, hence when modelling systems using an objectoriented (OO) approach, objects alone are insuff...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
ICCV
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper examines the problem of moving object detection. More precisely, it addresses the difficult scenarios where background scene textures in the video might change over tim...
KAIS
2011
13 years 2 months ago
2011
Recommendation Systems have become an important tool to cope with the information overload problem by acquiring data about the user behavior. After tracing the user behavior, throu...
DAC
2008
ACM
14 years 8 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...