Sciweavers

2880 search results - page 307 / 576
» Types are calling conventions
Sort
View
ICLP
2010
Springer
15 years 10 months ago
Towards a General Argumentation System based on Answer-Set Programming
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
Sarah Alice Gaggl
GECCO
2007
Springer
184views Optimization» more  GECCO 2007»
15 years 10 months ago
Evolving kernels for support vector machine classification
While support vector machines (SVMs) have shown great promise in supervised classification problems, researchers have had to rely on expert domain knowledge when choosing the SVM&...
Keith Sullivan, Sean Luke
AISC
2006
Springer
15 years 10 months ago
Finding Relations Among Linear Constraints
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...
Jun Yan, Jian Zhang, Zhongxing Xu
ASPDAC
2004
ACM
74views Hardware» more  ASPDAC 2004»
15 years 10 months ago
Optimal design of high fan-in multiplexers via mixed-integer nonlinear programming
- In this paper, a novel strategy for designing the heterogeneous-tree multiplexer is proposed. We build the multiplexer delay model by curve fitting and then formulate the heterog...
Hsu-Wei Huang, Cheng-Yeh Wang, Jing-Yang Jou
CGI
2004
IEEE
15 years 10 months ago
Combination of Facial Movements on a 3D Talking Head
Facial movements play an important role in interpreting spoken conversations and emotions. There are several types of movements, such as conversational signals, emotion displays, ...
The Duy Bui, Dirk Heylen, Anton Nijholt