959 search results - page 59 / 192 » Transfers between Logics and their Applications |
154
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Migration is an important aspect of cellular behaviour and is therefore widely studied in cell biology. Numerous components are known to participate in this process in...
149
click to vote
HICSS
2006
IEEE
16 years 5 days ago
2006
IEEE
Knowledge management (KM) has been an increasing focus for both researchers and practitioners for more than a decade. The discussions generally have viewed the goal of KM as the a...
191
click to vote
ISMAR
2005
IEEE
15 years 11 months ago
2005
IEEE
Unlike most existing work on traversable interfaces, we focus on the use of synthetic characters to accompany the user in Mixed Reality (MR) applications. We examine virtual compa...
144
click to vote
ICPP
2005
IEEE
15 years 11 months ago
2005
IEEE
Automatic pattern search in event traces is a powerful method to identify performance problems in parallel applications. We demonstrate that knowledge about the virtual topology, ...
135
click to vote
AIL
1998
15 years 5 months ago
1998
In the law, it is generally acknowledged that there are intuitive differences between reasoning with rules and reasoning with principles. For instance, a rule seems to lead directl...