417 search results - page 7 / 84 » The Start of an Eiffel Standard |
DICTAP
2011
12 years 7 months ago
2011
This paper focuses on an approach to build ontology for home energy management domain which is compatible with Suggested Upper Merged Ontology (SUMO). Our starting point in doing s...
CONSTRAINTS
2011
13 years 2 months ago
2011
We introduce a novel global constraint for the total weighted completion time of activities on a single unary capacity resource. For propagating the constraint, we propose an O(n4...
ITA
2008
13 years 7 months ago
2008
In this paper we solve some open problems related to (pseudo)palindrome closure operators and to the infinite words generated by their iteration, that is, standard episturmian and...
ODR
2008
13 years 9 months ago
2008
This contribution summarizes the main goals, objectives, and tasks done so far in the framework of the the CEN/ISSS Workshop on Standardization of Online Dispute Resolution Tools (...
MEMOCODE
2010
IEEE
13 years 5 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...