The notion of tacit knowledge has been widely and diversely adopted in the knowledge management literature. It is used to cover knowledge which hasn't yet been articulated as ...
Termination of a heap-manipulating program generally depends on preconditions that express heap assumptions (i.e., assertions describing reachability, aliasing, separation and shar...
Most digital libraries (DLs) necessarily focus on the complex issues that arise when library collections are freed from their physical anchors in buildings and on paper. Typical i...
Background: A reliable extraction technique for resolving multiple spots in light or electron microscopic images is essential in investigations of the spatial distribution and dyn...
We have designed and built a mobile emotional messaging system named eMoto. With it, users can compose messages through using emotion-related gestures as input, rendering a backgr...