10916 search results - page 56 / 2184 » On Constructive Connectives and Systems |
91
Voted
ATS
2002
IEEE
15 years 5 months ago
2002
IEEE
We propose a methodology that examines design modules and identifies appropriate vector justification and response propagation requirements for hierarchical test. Based on a cel...
ADMA
2009
Springer
15 years 3 months ago
2009
Springer
Consider a scenario in which a smart phone automatically saves the user’s positional records for personalized location-based applications. The smart phone will infer patterns of ...
133
Voted
TCS
1998
15 years 11 days ago
1998
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
97
Voted
BROADBAND
1998
15 years 2 months ago
1998
In this paper, a method for calculating blocking experienced by dynamic multicast connections in a single link is presented. A service center at the root of a tree-type network pr...
108
click to vote
MICCAI
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Graph-based algorithms have become increasingly popular for medical image segmentation. The fundamental process for each of these algorithms is to use the image content t...