3890 search results - page 304 / 778 » Computation of unirational fields |
188
click to vote
TCAD
2008
15 years 7 months ago
2008
Boolean matching is one of the enabling techniques for technology mapping and logic resynthesis of Field Programmable Gate Array (FPGA). SAT-based Boolean matching (SAT-BM) has bee...
177
click to vote
IVS
2007
15 years 7 months ago
2007
From 28 May to 1 June 2007, a seminar on 'Information Visualization–HumanCentered Issues in Visual Representation, Interaction, and Evaluation' took place at the Inter...
213
click to vote
CONCURRENCY
2002
15 years 7 months ago
2002
Parallel visualization of large datasets in GeoFEM is described. Our visualization subsystem supports concurrent visualization with computation, and outputs a simplified small gra...
189
click to vote
JSYML
2002
15 years 7 months ago
2002
Abstract. This paper develops the very basic notions of analysis in a weak secondorder theory of arithmetic BTFA whose provably total functions are the polynomial time computable f...
216
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
ended abstract looks forward at which shared concepts and approaches are shaping future research in the field of location privacy, as well as reflecting on the broader achievement...