2302 search results - page 66 / 461 » Testing as Abstraction |
146
click to vote
WEA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we present a novel approach to the graph isomorphism problem. We combine a direct approach, that tries to find a mapping between the two input graphs using...
152
click to vote
CDC
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract— The paper deals with decentralized Bayesian detection with M hypotheses, and N sensors making conditionally correlated measurements regarding these hypotheses. Each sen...
134
click to vote
COSIT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Spatializations are computer visualizations in which nonspatial information is depicted spatially. Spatializations of large databases commonly use distance as a metaphor ...
153
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
149
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—This paper describes an implementation of a realtime multi-user multiple-input multiple-output (MU-MIMO) communication system, with cross-layer channel-aware scheduling....