5550 search results - page 741 / 1110 » Different Approaches to Proof Systems |
170
click to vote
HICSS
2005
IEEE
16 years 19 days ago
2005
IEEE
It is well-known that linguistic decision-making problems that manage preferences from different experts follow a common resolution scheme composed by two phases: an aggregation p...
199
click to vote
HICSS
2005
IEEE
16 years 19 days ago
2005
IEEE
In this research project, an integration of multi-agent technology and optimization techniques is suggested for the combined production and transport planning problem in a transpo...
200
click to vote
ISM
2005
IEEE
16 years 18 days ago
2005
IEEE
— This paper presents a pitch-based approach for creating musical fingerprints for similarity assessment. An effective measure for musical similarity impacts music indexing and c...
187
click to vote
SEFM
2005
IEEE
16 years 18 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
188
click to vote
WACV
2005
IEEE
16 years 18 days ago
2005
IEEE
A number of recent systems for unsupervised featurebased learning of object models take advantage of cooccurrence: broadly, they search for clusters of discriminative features tha...