351 search results - page 30 / 71 » Properties of Behavioural Model Merging |
124
click to vote
WSCG
2004
15 years 5 months ago
2004
Freeform features (FFF) manipulation is an emerging research area in geometric modelling field, which aims to develop innovative shape modification paradigms, more focused on glob...
122
click to vote
AMC
2006
15 years 4 months ago
2006
In this paper, the influence of slow and creeping flow of mud/slurry is modelled as a visco-plastic fluid around cylindrical row of piles. The study is carried out theoretically u...
146
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
137
click to vote
MOBIHOC
2010
ACM
15 years 1 months ago
2010
ACM
In many practical scenarios, nodes gathering at points of interest yield sizable connected components (clusters), which sometimes comprise the majority of nodes. While recent anal...
103
Voted
AAAI
2006
15 years 5 months ago
2006
We present a model for buying agents in e-marketplaces to interpret evaluations of sellers provided by other buying agents, known as advisors. The interpretation of seller evaluat...