7335 search results - page 1314 / 1467 » Scene Based Reasoning |
166
Voted
TACAS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
138
Voted
TRIDENTCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Packet assembly at the network edge is one solution to reduce high packet rates in core network switches. Literature discusses this topic controversially because of three reasons: ...
122
click to vote
AND
2009
15 years 1 months ago
2009
In a specific process of business intelligence, i.e. investigation on organized crime, empirical language processing technologies can play a crucial role. In the data used on inve...
151
Voted
EUSFLAT
2009
15 years 1 months ago
2009
Group technology (GT) is a useful way to increase productivity with high quality in cellular manufacturing systems (CMSs), in which cell formation (CF) is a key step in the GT phil...
109
Voted
GI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract: Research in the field of academic teaching and life focuses on the integration of recent technologies. Additionally, new trends within the current usage of e.g. the Inter...