8496 search results - page 264 / 1700 » Problem Solving and Complex Systems |
155
click to vote
TAPSOFT
1991
Springer
15 years 10 months ago
1991
Springer
Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric ...
164
click to vote
ECEH
2007
15 years 8 months ago
2007
: The growing demand for informational self-determination of patients will not only result in a stronger participation in therapeutic decision making hence causing a change in the ...
180
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
193
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
We develop a widely applicable algorithm to solve the fault diagnosis problem in certain distributed-memory multiprocessor systems in which there are a limited number of faulty pr...
266
click to vote
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
Temporal aggregate queries retrieve summarized information about records with time-evolving attributes. Existing approaches have at least one of the following shortcomings: (i) th...