11066 search results - page 1882 / 2214 » Linearity in Process Languages |
186
click to vote
ENTCS
2002
15 years 6 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
174
click to vote
RAS
2000
15 years 6 months ago
2000
This paper presents an optimisation system software developed for the determination of optimal index positions of cutting tools on the automatic tool changer (ATC) or turret magaz...
196
click to vote
JVCA
2002
15 years 6 months ago
2002
Behavioural models offer the ability to simulate autonomous agents like organisms and living beings. Psychological studies have showed that the human behaviour can be described by...
206
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In Software Product Lines (SPLs), product configuration is a decision-making process in which a group of stakeholders choose features for a product. Unfortunately, current configu...
172
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Ontology learning integrates many complementary techniques, including machine learning, natural language processing, and data mining. Specifically, clustering techniques facilitat...