Sciweavers

6508 search results - page 168 / 1302
» Development and the Baldwin Effect
Sort
View
ICML
2003
IEEE
16 years 7 months ago
Multi-Objective Programming in SVMs
We propose a general framework for support vector machines (SVM) based on the principle of multi-objective optimization. The learning of SVMs is formulated as a multiobjective pro...
Jinbo Bi
ISCAS
2007
IEEE
148views Hardware» more  ISCAS 2007»
16 years 24 days ago
Bandwidth Mismatch Correction for a Two-Channel Time-Interleaved A/D Converter
— Mismatches between sample-and-hold (S/H) circuits in a time-interleaved analog-to-digital data converter (ADC) cause undesirable distortions in the output spectrum. To reduce t...
Patrick Satarzadeh, Bernard C. Levy, Paul J. Hurst
AIED
2007
Springer
16 years 21 days ago
Supporting Collaborative Idea Generation: A Closer Look Using Statistical Process Analysis Techniques
We are developing a conversational agent called VIBRANT to provide adaptive support for brainstorming in pairs in a scientific inquiry context. Our previous experimental study indi...
Hao-Chuan Wang, Carolyn Penstein Rosé
ISESE
2005
IEEE
16 years 2 days ago
Dialog-based protocol: an empirical research method for cognitive activities in software engineering
This paper proposes dialog-based protocol for the study of the cognitive activities during software development and evolution. The dialog-based protocol, derived from the idea of ...
Shaochun Xu, Václav Rajlich
ATVA
2005
Springer
108views Hardware» more  ATVA 2005»
16 years 1 days ago
Flat Acceleration in Symbolic Model Checking
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
Sébastien Bardin, Alain Finkel, Jér&...