Sciweavers

4861 search results - page 484 / 973
» Parsimonious concept modeling
Sort
View
MEMOCODE
2010
IEEE
15 years 5 months ago
Monitoring temporal SystemC properties
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
Deian Tabakov, Moshe Y. Vardi
JSCIC
2010
231views more  JSCIC 2010»
15 years 1 months ago
Geometric Applications of the Split Bregman Method: Segmentation and Surface Reconstruction
Variational models for image segmentation have many applications, but can be slow to compute. Recently, globally convex segmentation models have been introduced which are very rel...
Tom Goldstein, Xavier Bresson, Stanley Osher
JSS
2010
89views more  JSS 2010»
15 years 1 months ago
Verification and validation of declarative model-to-model transformations through invariants
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
Jordi Cabot, Robert Clarisó, Esther Guerra,...
PRESENCE
2010
76views more  PRESENCE 2010»
15 years 1 months ago
Modularity for Large Virtual Reality Applications
This paper focuses on the design of high performance VR applications. These applications usually involve various I/O devices and complex simulations. A parallel architecture or gri...
Jérémie Allard, Jean-Denis Lesage, B...
HICSS
2011
IEEE
235views Biometrics» more  HICSS 2011»
14 years 10 months ago
What Are the Business Benefits of Enterprise Mashups?
Enterprise mashups (EMs) are a new technology that enables the automation of situational needs of knowledge workers. EMs imply a new development paradigm based on the peer product...
Volker Hoyer, Katarina Stanoevska-Slabeva, Simone ...