3208 search results - page 483 / 642 » Methods and views |
145
click to vote
ICFCA
2007
Springer
16 years 11 days ago
2007
Springer
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...
156
click to vote
IFL
2007
Springer
16 years 10 days ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
155
click to vote
IPSN
2007
Springer
16 years 10 days ago
2007
Springer
Energy-efficient image communication is one of the most important goals for a large class of current and future sensor network applications. This paper presents a quantitative com...
119
click to vote
KI
2007
Springer
16 years 10 days ago
2007
Springer
The paper describes the Executable Design Concept which is one of the main components of HeKatE: Hybrid Knowledge Engineering methodology. HeKatE project aims at developing a metho...
143
click to vote
3DPVT
2006
IEEE
16 years 8 days ago
2006
IEEE
In this paper, we propose a visual hull algorithm, which guarantees a correct construction even in the presence of partial occlusion, while “correct” here means that the real ...