Sciweavers

2272 search results - page 132 / 455
» Capture Complexity by Partition
Sort
View
VLDB
1989
ACM
77views Database» more  VLDB 1989»
15 years 2 months ago
ENIAM: A More Complete Conceptual Schema Language
The problem of knowledge representation has been extensively addressedin the information systemsfield and there has been a wide range of suggestionsfor capturing semantics.A numbe...
Peter N. Creasy
FDL
2007
IEEE
15 years 1 months ago
Transactor-based Formal Verification of Real-time Embedded Systems
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
Daniel Karlsson, Petru Eles, Zebo Peng
GPCE
2008
Springer
14 years 11 months ago
Typing communicating component assemblages
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a typesystem-based approach to avoid message handling err...
Michael Lienhardt, Alan Schmitt, Jean-Bernard Stef...
TOG
2008
127views more  TOG 2008»
14 years 10 months ago
Hair photobooth: geometric and photometric acquisition of real hairstyles
We accurately capture the shape and appearance of a person's hairstyle. We use triangulation and a sweep with planes of light for the geometry. Multiple projectors and camera...
Sylvain Paris, Will Chang, Oleg I. Kozhushnyan, Wo...
TWC
2008
104views more  TWC 2008»
14 years 10 months ago
Multiple symbol differential detection for UWB communications
In ultra-wideband (UWB) communications, the typical signal propagation through dense multipath fading offers potentially very large multipath diversity, but at the same time compl...
Vincenzo Lottici, Zhi Tian