2339 search results - page 385 / 468 » A student-directed computing community |
124
click to vote
FMCAD
2007
Springer
15 years 5 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
116
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Intelligent software personal assistants for human organizations are an active research area within the multiagent community. However, while many capabilities for these software p...
ACSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
The state of the science of information security is astonishingly rich with solutions and tools to incrementally and selectively solve the hard problems. In contrast, the state of...
107
click to vote
PACS
2000
Springer
15 years 5 months ago
2000
Springer
Reducing power, on both a per cycle basis and as the total energy used over the lifetime of an application, has become more important as small and embedded devices become increasi...
KDD
1995
ACM
15 years 5 months ago
1995
ACM
The quest to nd models usefully characterizing data is a process central to the scienti c method, and has been carried out on many fronts. Researchers from an expanding number of ...