2308 search results - page 391 / 462 » Representing Symbolic Reasoning |
148
click to vote
ASE
2008
15 years 5 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
134
click to vote
CGF
2008
15 years 5 months ago
2008
Recently, it has become increasingly popular to represent animations not by means of a classical skeleton-based model, but in the form of deforming mesh sequences. The reason for ...
156
click to vote
CGF
2008
15 years 5 months ago
2008
Dye advection is widely used in experimental flow analysis but has seen less use for visualization in computational fluid dynamics. One possible reason for this disconnect is the ...
153
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
New upper and lower bounds are presented on the capacity of the free-space optical intensity channel. This channel is characterized by inputs that are nonnegative (representing the...
162
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Many real-world data are maintained in relational format, with different tables storing information about entities and their links or relationships. The structure (schema) of the ...