1557 search results - page 36 / 312 » Programming up to Congruence |
ILP
2007
Springer
15 years 5 months ago
2007
Springer
Stochastically searching the space of candidate clauses is an appealing way to scale up ILP to large datasets. We address an approach that uses a Bayesian network model to adaptive...
HYBRID
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...
IPPS
1999
IEEE
15 years 3 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
SNPD
2008
15 years 12 days ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
CACM
2000
14 years 10 months ago
2000
All I Really Need to Know I Learned in Kindergarten By Robert Fulghum (Fulghum 1988) Share everything. Play fair. Don't hit people. Put things back where you found them. Clea...