Sciweavers

2272 search results - page 132 / 455
» Capture Complexity by Partition
Sort
View
VLDB
1989
ACM
77views Database» more  VLDB 1989»
15 years 7 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 7 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
15 years 4 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»
15 years 3 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»
15 years 3 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