12084 search results - page 303 / 2417 » Effect Systems with Subtyping |
218
click to vote
ESORICS
2006
Springer
15 years 11 months ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...
177
Voted
MICCAI
2000
Springer
15 years 11 months ago
2000
Springer
Many problems in laparoscopic surgery are due to the poor degrees of freedom of movement (DOF) in controlling forceps and laparoscopes. The Multi-DOF forceps manipulator we have ne...
175
click to vote
STANDARDVIEW
1998
15 years 7 months ago
1998
Network externalities are the effects on the value of a product that can be ascribed to the presence of a network of users of such product. They play an essential role in the busi...
215
click to vote
PAMI
2011
15 years 2 months ago
2011
Spectral clustering algorithms have been shown to be more effective in finding clusters than some traditional algorithms such as k-means. However, spectral clustering suffers fro...
160
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...