5622 search results - page 241 / 1125 » Solving architectural modelling problems using knowledge |
186
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
165
Voted
EUC
2004
Springer
15 years 12 months ago
2004
Springer
Wireless devices are widely used to get some information from the Internet. However, limited bandwidth, frequent disconnections and different communication protocols are most comm...
146
click to vote
TON
2010
15 years 1 months ago
2010
Disruption tolerant networks rely on intermittent contacts between mobile nodes to deliver packets using a storecarry-and-forward paradigm. We earlier proposed the use of throwbox ...
172
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Decision making is tightly related to the understanding of the design and manufacturing practices. In our previous work, we proposed an intuitive approach for geometric modeling in...
198
click to vote
TIP
2008
15 years 6 months ago
2008
Abstract--In this paper, we analyze the computational challenges in implementing particle filtering, especially to video sequences. Particle filtering is a technique used for filte...