2740 search results - page 116 / 548 » Typing the Specialization Interface |
86
Voted
GI
2009
Springer
15 years 5 months ago
2009
Springer
Abstract: The recent success of various Apple products affirms that usability engineering can be a beneficial asset in software product development. But considerable problems exi...
81
Voted
ENTCS
2010
15 years 27 days ago
2010
Futures are special kind of values that allow the synchronisation of different processes. Futures are in fact identifiers for promised results of function calls that are still awa...
96
Voted
ECR
2010
14 years 10 months ago
2010
Mobile commerce applications adhering to anytime and anywhere paradigm, required to be flexible. They should be able to adapt their interface, services and content towards a certai...
123
Voted
ICIP
2002
IEEE
16 years 2 months ago
2002
IEEE
In this paper, we describe a statistical method to detect highlights in a baseball game video. The input video is first segmented into scene shots, within which the camera motion ...
129
Voted
TYPES
1994
Springer
15 years 4 months ago
1994
Springer
A special final coalgebra theorem, in the style of Aczel's [2], is proved within standard Zermelo-Fraenkel set theory. Aczel's AntiFoundation Axiom is replaced by a varia...