MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Refinement An overview." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

ABSTRACT Visual Inquiry of Spatio-Temporal Multivariate Patterns
by Jin Chen
… searches, a refined overview (right) is constructed where rows are thematically arranged. Each abbreviation…
Add To MetaCart

Qualitative and Quantitative Simulation: Bridging the Gap
by Daniel Berleant, Benjamin Kuipers — 1997 — Artificial Intelligence
… 2.2.1 Step size refinement: overview : : : : : : : : : : : : : : : : : : : : : : : : : : 10 2…
Cited by 33 (1 self) – Add To MetaCart

Hardware synthesis of a parallel JPEG decoder from its functional specification
by John Hawkins, Ali E. Abdallah — 2004 — In Proceeding of IFIP Working Conference on Distributed and Parallel Embedded Systems
…. In Section 2, we give a brief overview of the notation used, and introduce the concept of refinement…
Cited by 1 (1 self) – Add To MetaCart

PGR Project: The Portuguese Attorney General Decisions on the Web
by Paulo Quaresma, Irene Pimenta Rodrigues, Gabriel Lopes, Teresa Almeida, Elsa Garcia, Ana Lima, Procuradoria Geral Da Repblica — 1998 — In Proceedings of The Law in the Information Society. Instituto per la documentazione giuridica
… refinement . Overview of the documents These 3 modules will now be described. Processing queries…
Cited by 2 (0 self) – Add To MetaCart

Interface and Data Architecture for Query Preview in Networked Information Systems
by Catherine Plaisant, Ben Shneiderman, Khoa Doan, Tom Bruns — 1997
… on the timeline overview. Figure 4c: Here the query has been refined by selecting 2 archive centers, 3 projects…
Cited by 43 (8 self) – Add To MetaCart

The Refinement Calculator: Proof Support for Program Refinement
by Michael Butler, Jim Grundy, Thomas Langbacka, Rimvydas Ruksenas, Joakim von Wright — 1997 — Formal Methods Pacific ’97
… specialisation for use with program refinement. An overview of the Refinement Calculator has been presented…
Cited by 20 (2 self) – Add To MetaCart

Refining Synchronous Communication onto Network-on-Chip Best-Effort Services
by Z. Lu, Ingo Sander, Axel Jantsch — 2006
… adapter s s P 2 3 3 2 1 PQ 1 read adapter s Q Q ###### #### Communication refinement overview Step 1…
Add To MetaCart

Local enforceability in interaction petri nets
by Gero Decker, Mathias Weske — 2007 — In: Proceedings 5th International Conference on Business Process Management (BPM 2007). LNCS
… interface can serve as skeleton that needs to be refined. An overview of conformance relations between…
Cited by 6 (3 self) – Add To MetaCart

Design and Analysis of On-Chip Communication for Network-on-Chip Platforms
by Zhonghai Lu, Lu Zhonghai
… Overview ................... 79 4.2.3 Channel Refinement .................... 81 4.2.4 Process Refinement…
Add To MetaCart

Selective Mesh Refinement For Interactive Terrain Rendering
by Peter J. C. Brown, Peter J. C. Brown — 1997
….1 Selective Refinement Overview The two inputs to our selective refinement algorithm are: (A) The output from…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB