Sciweavers

435 search results - page 59 / 87
» Approaches to Constructing a Stratified Merged Knowledge Bas...
Sort
View
VLSID
2002
IEEE
189views VLSI» more  VLSID 2002»
14 years 8 months ago
Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
Prabhat Mishra, Hiroyuki Tomiyama, Ashok Halambi, ...
APIN
1998
107views more  APIN 1998»
13 years 7 months ago
Multiple Adaptive Agents for Tactical Driving
Abstract. Recent research in automated highway systems has ranged from low-level vision-based controllers to high-level route-guidance software. However, there is currently no syst...
Rahul Sukthankar, Shumeet Baluja, John Hancock
EVOW
2010
Springer
14 years 2 months ago
A Local Search Appproach for Transmembrane Segment and Signal Peptide Discrimination
Discriminating between secreted and membrane proteins is a challenging task. This is particularly true for discriminating between transmembrane segments and signal peptides because...
Sami Laroum, Dominique Tessier, Béatrice Du...
ICALT
2003
IEEE
14 years 1 months ago
Constructivism vs. Objectivism: Where is difference for Designers of e-Learning Environments?
This position paper discusses different philosophical views of learning and the consequences of these different epistemologies on the design of online learning environments. Acade...
Miguel Baptista Nunes, Maggie McPherson
AC
2002
Springer
13 years 7 months ago
Empirical Studies of Quality Models in Object-Oriented Systems
Measuring structural design properties of a software system, such as coupling, cohesion, or complexity, is a promising approach towards early quality assessments. To use such meas...
Lionel C. Briand, Jürgen Wüst