4880 search results - page 737 / 976 » Manuals as Structured Programs |
227
click to vote
ILP
2007
Springer
16 years 23 days ago
2007
Springer
Statistical Relational Learning (SRL) combines the benefits of probabilistic machine learning approaches with complex, structured domains from Inductive Logic Programming (ILP). W...
165
click to vote
SAS
2007
Springer
16 years 22 days ago
2007
Springer
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
148
click to vote
TRUSTBUS
2007
Springer
16 years 22 days ago
2007
Springer
The forthcoming ISO/IEC 24727 series of standards defines application programming interfaces for smart cards and is expected to provide a major contribution to the global interope...
186
click to vote
WADS
2007
Springer
16 years 22 days ago
2007
Springer
In this paper we explore, from an algorithmic point of view, the extent to which the facial angles and combinatorial structure of a convex polyhedron determine the polyhedron—in ...
186
click to vote
WEA
2007
Springer
16 years 22 days ago
2007
Springer
For trunk packing problems only few approximation schemes are known, mostly designed for the European standard DIN 70020 [6] with equally sized boxes [8, 9, 11, 12]. In this paper ...