4290 search results - page 157 / 858 » Formal Approaches to Teamwork |
171
click to vote
MASCOTS
2003
15 years 8 months ago
2003
We review the DEVS modeling and simulation framework Its fundamental concepts are discussed from the standpoint of discrete event information processing with an example drawn from...
184
click to vote
ICCAD
2003
IEEE
15 years 12 months ago
2003
IEEE
This work presents a formal probabilistic approach for solving optimization problems in design automation. Prediction accuracy is very low especially at high levels of design flo...
175
click to vote
OTM
2005
Springer
16 years 2 days ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
209
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...
176
click to vote
IFM
1999
Springer
15 years 11 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...