5675 search results - page 1032 / 1135 » Formalising Performative Interaction |
88
Voted
DAC
2005
ACM
16 years 2 months ago
2005
ACM
While the past research discussed several advantages of multiprocessor-system-on-a-chip (MPSOC) architectures from both area utilization and design verification perspectives over ...
115
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
As Si CMOS devices are scaled down into the nanoscale regime, current computer architecture approaches are reaching their practical limits. Future nano-architectures will confront...
114
click to vote
ICML
1999
IEEE
16 years 2 months ago
1999
IEEE
Lbr is a lazy semi-naive Bayesian classi er learning technique, designed to alleviate the attribute interdependence problem of naive Bayesian classi cation. To classify a test exa...
105
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
157
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
The increasing availability of GPS-enabled devices is changing the way people interact with the Web, and brings us a large amount of GPS trajectories representing people's lo...