1313 search results - page 164 / 263 » Generic Universe Types |
137
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
Topological concepts and techniques have been broadly applied in computer graphics and geometric modeling. However, the homotopy type of a mapping between two surfaces has not bee...
130
click to vote
SAT
2009
Springer
15 years 11 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
155
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
143
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
E-commerce has become an important part of business. In South Korea, the market size of online shopping malls was 13,460 billion Korean Won in 2006, and this figure keeps growing....
168
click to vote
AH
2008
Springer
15 years 11 months ago
2008
Springer
The heterogeneity problem (in terms of different types of access devices, network bandwidth, preferences/characteristics of the user, etc.) has become a major problem for the Inter...