Sciweavers

1806 search results - page 183 / 362
» Some Functions Computable with a Fused-Mac
Sort
View
CIE
2006
Springer
15 years 10 months ago
Forcing with Random Variables and Proof Complexity
or representation theory of groups), and even borrows abstract geometrical concepts like Euler characteristic or Grothendieck ring. However, the most stimulating for proof complexi...
Jan Krajícek
GECCO
2006
Springer
226views Optimization» more  GECCO 2006»
15 years 10 months ago
Segmentation of medical images using a genetic algorithm
Segmentation of medical images is challenging due to poor image contrast and artifacts that result in missing or diffuse organ/tissue boundaries. Consequently, this task involves ...
Payel Ghosh, Melanie Mitchell
BIRTHDAY
2003
Springer
15 years 10 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman
DAC
1995
ACM
15 years 10 months ago
A Transformation-Based Approach for Storage Optimization
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
Wei-Kai Cheng, Youn-Long Lin
AINA
2008
IEEE
15 years 8 months ago
Disaster Communication Network by Combination of Different Wireless LANs
So far we have developed a disaster information network which is very effective and robust using wireless network. In this paper, we introduce a mobile network for disaster commun...
Kazuo Takahata, Shinya Takada, Yoshitaka Shibata