5128 search results - page 338 / 1026 » When Abstraction Fails |
175
click to vote
CIVR
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Keypics are graphical metadata intended for indexing of images on the Internet. They are conceived as hand-drawn sketches, not restricted to a definite set. An obvious d...
185
click to vote
ECAL
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In human societies, facts are constructed through social consensus. Here, the formation of social institutions in such a society is studied using a multi-agent-based simu...
187
click to vote
ISCIS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We investigate the problem of enumerating schedules, consisting of course-section assignments, in increasing order of the number of conflicts they contain. We define th...
211
click to vote
KES
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Human-computer interaction (HCI) has fundamentally changed computing. The ubiquity of HCI can be seen in several kinds of application areas, such as text editing, hyperte...
209
click to vote
LPAR
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...