Sciweavers

1632 search results - page 209 / 327
» Topological Analysis of Refinement
Sort
View
CANDT
2009
15 years 10 months ago
Analyzing (social media) networks with NodeXL
We present NodeXL, an extendible toolkit for network overview, discovery and exploration implemented as an add-in to the Microsoft Excel 2007 spreadsheet software. We demonstrate ...
Marc A. Smith, Ben Shneiderman, Natasa Milic-Frayl...
CGI
2009
IEEE
15 years 10 months ago
Automatic registration of color images to 3D geometry
We present an approach to automatically register a large set of color images to a 3D geometric model. The problem arises from the modeling of real-world environments, where surfac...
Yunzhen Li, Kok-Lim Low
ACSD
2004
IEEE
118views Hardware» more  ACSD 2004»
15 years 10 months ago
Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Fur...
APN
2004
Springer
15 years 10 months ago
Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
Alexander Norta
EMSOFT
2006
Springer
15 years 10 months ago
Real-time interfaces for composing real-time systems
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
Lothar Thiele, Ernesto Wandeler, Nikolay Stoimenov