1288 search results - page 128 / 258 » Visual Generalization in Programming by Example |
135
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
121
click to vote
CSMR
1998
IEEE
15 years 7 months ago
1998
IEEE
A conceptual reengineering framework is presented that proposes extract, transform and rewrite as three characteristic steps to be performed within a reengineering cycle. The cycl...
ISCA
1989
IEEE
15 years 7 months ago
1989
IEEE
Pipelining has become a common technique to increase throughput of the instruction fetch, instruction decode, and instruction execution portions of modern computers. Branch instru...
94
Voted
CODAS
1996
15 years 4 months ago
1996
ntic abstractions classification, aggregation and generalization are extremely useful for modeling complex situations containing time-independent events. This paper shows that the...
131
click to vote
IJAR
2008
15 years 2 months ago
2008
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider g...