3820 search results - page 562 / 764 » Bounded Model Debugging |
115
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
–- To obtain optimal location area (LA) partitioning in cellular radio networks is important since it maximizes the usable bandwidth to support services. However, we feel that th...
137
Voted
ICDM
2007
IEEE
15 years 9 months ago
2007
IEEE
Sequential pattern mining is an active field in the domain of knowledge discovery. Recently, with the constant progress in hardware technologies, real-world databases tend to gro...
133
Voted
ISCA
2007
IEEE
15 years 9 months ago
2007
IEEE
Analytical modeling is applied to the automated design of application-specific superscalar processors. Using an analytical method bridges the gap between the size of the design sp...
111
click to vote
APN
2007
Springer
15 years 9 months ago
2007
Springer
Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails. We cons...
113
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
In an election held in a noisy environment, agents may unintentionally perturb the outcome by communicating faulty preferences. We investigate this setting by introducing a theore...