2586 search results - page 108 / 518 » Automatic Abstraction for Congruences |
AAAI
1996
14 years 11 months ago
1996
Animations generated by interactive 3D computer graphics applications are typically portrayed either from a particular character's point of view or from a small set of strate...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The complexity of sentences characteristic to biomedical articles poses a challenge to natural language parsers, which are typically trained on large-scale corpora of non-technica...
ASE
2005
14 years 9 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
VLSISP
1998
14 years 9 months ago
1998
Abstract. In numerous content-based video applications, it is important to extract from a video sequence a representation for humans in motion. This task is di cult, because humans...
TCAD
2002
14 years 9 months ago
2002
The design of programmable logic architectures and supporting computer-aided design tools fundamentally requires both a good understanding of the combinatorial nature of netlist gr...