2748 search results - page 196 / 550 » Generating Object-Z Specifications from Use Cases |
74
Voted
FPL
2004
Springer
15 years 6 months ago
2004
Springer
Many System-on-a-Chip devices would benefit from the inclusion of reprogrammable logic on the silicon die, as it can add general computing ability, provide run -time reconfigurabil...
89
Voted
IADIS
2003
15 years 2 months ago
2003
Mass, multi-channel, network access to information requires a solution of several problems related to proper information delivery, including an important problem of adjusting data...
106
click to vote
DICTA
2003
15 years 2 months ago
2003
This study is a part of a global project on urban scenes interpretation using high resolution satellite images. Actually, the research is focused on buildings and roads are used to...
104
Voted
SODA
2004
ACM
15 years 2 months ago
2004
ACM
We are given a collection of m random subsequences (traces) of a string t of length n where each trace is obtained by deleting each bit in the string with probability q. Our goal ...
ECML
2006
Springer
15 years 4 months ago
2006
Springer
Automatically acquiring control-knowledge for planning, as it is the case for Machine Learning in general, strongly depends on the training examples. In the case of planning, examp...