9810 search results - page 191 / 1962 » Problems, Descriptions and Objects |
114
Voted
ICFCA
2007
Springer
15 years 10 months 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...
186
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
144
click to vote
ICMCS
2000
IEEE
15 years 9 months ago
2000
IEEE
One fundamental problem with streaming video data over unreliable IP networks is that packets may be dropped or arrive too late for real-time playback. Traditional error-control s...
145
Voted
TIME
2000
IEEE
15 years 9 months ago
2000
IEEE
In spatiotemporal applications, meaningful changes vary according to object type, level of detail, and nature of application. In this paper, we introduce a dynamic classification ...
123
click to vote
WACC
1999
ACM
15 years 9 months ago
1999
ACM
a useful abstract representation is fundamental to solving many difficult problems in software engineering. In order to better understand how representations are actually used in ...