1458 search results - page 175 / 292 » Extended Term Rewriting Systems |
198
click to vote
ASE
2005
15 years 6 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
167
click to vote
PROMISE
2010
15 years 24 days ago
2010
Background: Defects are related to failures and they do not have much power for indicating a higher quality or a better system above the baseline that the end-users expect. Nevert...
164
click to vote
VEE
2009
ACM
16 years 25 days ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
165
click to vote
LCTRTS
2010
Springer
16 years 26 days ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...
138
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
In extended video sequences, individual frames are grouped into shots which are defined as a sequence taken by a single camera, and related shots are grouped into scenes which are...