488 search results - page 94 / 98 » The descriptive complexity approach to LOGCFL |
SMA
1993
ACM
13 years 11 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
BTW
2007
Springer
13 years 11 months ago
2007
Springer
Abstract: Content based multimedia retrieval is an important topic in database systems. An emerging and challenging topic in this area is the content based search in video data. A ...
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
WCRE
1995
IEEE
13 years 11 months ago
1995
IEEE
A legacy system is an operational, large-scale software system that is maintained beyond its first generation of programmers. It typically represents a massive economic investmen...
DAGSTUHL
2010
13 years 8 months ago
2010
The display of surfaces and solids has usually been restricted to the domain of scientific visualization; however, little work has been done on the visualization of surfaces and s...