10916 search results - page 312 / 2184 » On Constructive Connectives and Systems |
174
click to vote
VISUALIZATION
2000
IEEE
15 years 11 months ago
2000
IEEE
Multi-resolution techniques and models have been shown to be effective for the display and transmission of large static geometric object. Dynamic environments with internally defo...
181
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
We give the rst single-layer clock tree construction with exact zero skew according to the Elmore delay model. The previous Linear-Planar-DME method 11 guarantees a planar solutio...
175
click to vote
AAAI
2007
15 years 9 months ago
2007
A Situated Conversational Agent (SCA) is an agent that engages in dialog about the context within which it is embedded. Situated dialog is characterized by its deep connection to ...
194
click to vote
WOB
2004
15 years 8 months ago
2004
We developed a new approach for the reconstruction of phylogenetic trees using ant colony optimization metaheuristics.Atree is constructed using a fully connected graph and the pro...
198
click to vote
ECCC
2008
15 years 6 months ago
2008
We construct public-key cryptosystems that are secure assuming the worst-case hardness of approximating the minimum distance on n-dimensional lattices to within small poly(n) fact...