Sciweavers

7057 search results - page 176 / 1412
» Tasks, domains, and languages
Sort
View
ACL2
2006
ACM
16 years 13 days ago
Unique factorization in ACL2: Euclidean domains
ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...
John R. Cowles, Ruben Gamboa
MODELS
2007
Springer
16 years 18 days ago
Automatic Generation of Workflow-Extended Domain Models
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
Marco Brambilla, Jordi Cabot, Sara Comai
WSC
2007
15 years 8 months ago
From domain ontologies to modeling ontologies to executable simulation models
Ontologies allow researchers, domain experts, and software agents to share a common understanding of the concepts and relationships of a domain. The past few years have seen the p...
Gregory A. Silver, Osama Al-Haj Hassan, John A. Mi...
IJCAI
2007
15 years 8 months ago
Vote and Aggregation in Combinatorial Domains with Structured Preferences
In many real-world collective decision problems, the set of alternatives is a Cartesian product of finite value domains for each of a given set of variables. The prohibitive size...
Jérôme Lang
ECIR
2003
Springer
15 years 7 months ago
Corpus-Based Thesaurus Construction for Image Retrieval in Specialist Domains
This paper explores the use of texts that are related to an image collection, also known as collateral texts, for building thesauri in specialist domains to aid in image retrieval....
Khurshid Ahmad, Mariam Tariq, Bogdan Vrusias, Chri...