ECSQARU
2005
Springer
14 years 5 months ago
2005
Springer
The paper presents a first tentative work that investigates
CP
2005
Springer
14 years 5 months ago
2005
Springer
This paper presents a technique for learning parameterized implied constraints. They can be added to a model to improve the solving process. Experiments on implied Gcc constraints ...
CAISE
2005
Springer
14 years 5 months ago
2005
Springer
Associations are a widely used construct of object-oriented languages. However, the meaning of associations for conceptual modelling of application domains remains unclear. This pa...
ATAL
2005
Springer
14 years 5 months ago
2005
Springer
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can a...
WISE
2005
Springer
14 years 5 months ago
2005
Springer
This paper discusses the concept of information market. The authors of this paper have been involved in several aspects of information retrieval research. In continuing this resear...
ISPW
2005
IEEE
14 years 5 months ago
2005
IEEE
This paper proposes the unification of two complementary approaches to software process research. The two approaches can be characterized as macroprocess research, focused on pheno...
ISORC
2005
IEEE
14 years 5 months ago
2005
IEEE
This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resou...
ISCAS
2005
IEEE
14 years 5 months ago
2005
IEEE
- This paper describes the design of a low power
IPPS
2005
IEEE
14 years 5 months ago
2005
IEEE
This paper describes the design of the OpenSTARS real-time analysis tool. The paper focuses on criteria for a good analysis tool including correctness, performance/scalability, fl...
ICRA
2005
IEEE
14 years 5 months ago
2005
IEEE
. – This paper presents the analysis and design of a novel mini-robotic platform that is able to perform translational and rotational sliding with sub-micrometer