7978 search results - page 1391 / 1596 » Representation before computation |
151
click to vote
INFOVIS
2005
IEEE
16 years 5 days ago
2005
IEEE
The general problem of visualizing “family trees”, or genealogical graphs, in 2D, is considered. A graph theoretic analysis is given, which identifies why genealogical graphs...
175
click to vote
ISORC
2005
IEEE
16 years 4 days ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
151
click to vote
LICS
2005
IEEE
16 years 4 days ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
172
click to vote
LICS
2005
IEEE
16 years 4 days ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
194
click to vote
MSE
2005
IEEE
16 years 4 days ago
2005
IEEE
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...