3082 search results - page 369 / 617 » Deviation Analysis: A New Use of Model Checking |
136
click to vote
IJSTM
2008
15 years 6 months ago
2008
: The sector of Knowledge-Intensive Business Services (KIBS) is characterised by high rates of firm fluctuation, rapid changes in technological progress (e.g., in the software indu...
172
click to vote
CCR
2004
15 years 6 months ago
2004
This paper emphasizes the need for methodological frameworks for analysis and design of large scale networks which are independent of specific design innovations and their advocac...
128
click to vote
ET
2007
15 years 6 months ago
2007
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
170
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper aims at automatic recognition of online handwritten mathematical expressions written on an electronic tablet. The proposed technique involves two major stages: symbol r...
163
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
The images of an outdoor scene collected over time are valuable in studying the scene appearance variation which can lead to novel applications and help enhance existing methods t...