Sciweavers

3172 search results - page 345 / 635
» Combining Specification Techniques for Processes, Data and T...
Sort
View
214
Voted
WER
2010
Springer
15 years 4 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
RTCSA
2006
IEEE
16 years 20 days ago
Hardware-Software Codesign of Multimedia Embedded Systems: the PeaCE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
Soonhoi Ha, Choonseung Lee, Youngmin Yi, Seongnam ...
ICRA
2000
IEEE
105views Robotics» more  ICRA 2000»
15 years 11 months ago
Modeling and Throughput Prediction for Flexible Parts Feeders
In this paper we illustrate a methodology for modeling and analyzing flexible feeders using generalized semi-Markov process (GSMP) models. Working through the simple case consisti...
Michael S. Branicky, Greg C. Causey, Roger D. Quin...
JGTOOLS
2008
126views more  JGTOOLS 2008»
15 years 6 months ago
Simple Empty-Space Removal for Interactive Volume Rendering
Interactive volume rendering methods such as texture-based slicing techniques and ray-casting have been well developed in recent years. The rendering performance is generally restr...
Vincent Vidal 0002, Xing Mei, Philippe Decaudin
AIRS
2010
Springer
15 years 4 months ago
Semantic Relation Extraction Based on Semi-supervised Learning
Many tasks of information extraction or natural language processing have a property that the data naturally consist of several views--disjoint subsets of features. Specifically, a ...
Haibo Li, Yutaka Matsuo, Mitsuru Ishizuka