Using Community Structure to Detect Relevant Learnt Clauses.
Proc. of the 18th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'15.
Using expressive trends for identifying violin performers.
International Conference on Music Information Retrieval, ISMIR'08. :495-500.
Using the Implication/Realization Model for Measuring Melodic Similarity.
16th European Conference on Artificial Intelligence, ECAI 2004.. :1023-1024.
v-mWater: a 3D Virtual Market for Water Rights.
AAMAS '12: Proceedings of the 11th internationalconference on autonomous agents and multiagent systems. :1483-1484.
Vector space model anonymization.
CCIA 2013 - Sixteenth International Conference of the Catalan Association of Artificial Intelligence. 256:141-150.
Verification by construction in MILORD.
Proceedings of EUROVAV'91: European Workshop on Validation and Verification of Knowledge Based Systems.
Visual Registration Method for a Low Cost Robot.
7th International Conference on Computer Vision Systems. Lecture Notes in Computer Science. 5815:204-214.
Web Based System for Weighted Defeasible Argumentation.
14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV. 8143:155-171.
Why Ontologies Are Not Enough for Knowledge Sharing.
Multiple Approaches to Intelligent Systems. 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999. Proceedings. 1611:520-529.
Work Proximity on Interrelated Coauthoring Production.
CollabTech 2008, The Fourth International Conference on Collaboration Technologies. :15-20.