Sciweavers

499 search results - page 21 / 100
» Wire shaping is practical
Sort
View
ECIS
2000
15 years 1 months ago
What is Meant by Tacit Knowledge? Towards a Better Understanding of the Shape of Actions
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 ...
Ted Hedesstrom, Edgar A. Whitley
CAV
2008
Springer
152views Hardware» more  CAV 2008»
15 years 1 months ago
Heap Assumptions on Demand
Termination of a heap-manipulating program generally depends on preconditions that express heap assumptions (i.e., assertions describing reachability, aliasing, separation and shar...
Andreas Podelski, Andrey Rybalchenko, Thomas Wies
JCDL
2005
ACM
152views Education» more  JCDL 2005»
15 years 5 months ago
In the company of readers: the digital library book as "practiced place"
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...
Nancy Kaplan, Yoram Chisik
BMCBI
2010
156views more  BMCBI 2010»
14 years 12 months ago
Extended morphological processing: a practical method for automatic spot detection of biological markers from microscopic images
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...
Yoshitaka Kimori, Norio Baba, Nobuhiro Morone
IJMMS
2007
85views more  IJMMS 2007»
14 years 11 months ago
In situ informants exploring an emotional mobile messaging system in their everyday practice
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...
Petra Sundström, Anna Ståhl, Kristina H...