Sciweavers

2777 search results - page 238 / 556
» Example centric programming
Sort
View
CDES
2008
90views Hardware» more  CDES 2008»
15 years 5 months ago
Nanocompilation for the Cell Matrix Architecture
- The Cell Matrix Architecture is a massive array of dynamically self-configurable, uniformly connected, identical computational units. This architecture can enable efficient, prac...
Thomas Way, Rushikesh Katikar, Ch. Purushotham
FMOODS
2007
15 years 5 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
MVA
2007
110views Computer Vision» more  MVA 2007»
15 years 5 months ago
Improving Accuracy of 3-D Reconstruction by Classifying Correspondences
In this paper, we show that we can improve accuracies of 3-D reconstructions with uncalibrated stereo by classifying correspondences between two images. After obtaining initial co...
Yusuke Takanashi, Yohei Shibata, Yasushi Kanazawa
CLIMA
2004
15 years 5 months ago
Dynamic Logic for Plan Revision in Intelligent Agents
In this paper, we present a dynamic logic for a propositional version of the agent programming language 3APL. A 3APL agent has beliefs and a plan. The execution of a plan changes a...
M. Birna van Riemsdijk, Frank S. de Boer, John-Jul...
EPK
2004
186views Management» more  EPK 2004»
15 years 5 months ago
EPML2SVG - Generating Websites from EPML Processes
: This paper presents an approach to map EPC business process models available in EPML to Scalable Vector Graphics (SVG) and websites. This mapping has been implemented as an XSLT ...
Jan Mendling, Alberto Brabenetz, Gustaf Neumann