Sciweavers

536 search results - page 63 / 108
» Evaluating Metrical Phonology - a Computational- Empirical A...
Sort
View
GECCO
2009
Springer
144views Optimization» more  GECCO 2009»
15 years 8 months ago
Using automated search to generate test data for matlab
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...
Sion Ll Rhys, Simon M. Poulding, John A. Clark
COSIT
2005
Springer
95views GIS» more  COSIT 2005»
15 years 7 months ago
Simulation of Obfuscation and Negotiation for Location Privacy
Abstract. Current mobile computing systems can automatically sense and communicate detailed data about a person’s location. Location privacy is an urgent research issue because c...
Matt Duckham, Lars Kulik
IPPS
2000
IEEE
15 years 5 months ago
A Probabilistic Power Prediction Tool for the Xilinx 4000-Series FPGA
The work described here introduces a practical and accurate tool for predicting power consumption for FPGA circuits. The utility of the tool is that it enables FPGA circuit designe...
Timothy Osmulski, Jeffrey T. Muehring, Brian F. Ve...
AAAI
2007
15 years 3 months ago
Approximate Counting by Sampling the Backtrack-free Search Space
We present a new estimator for counting the number of solutions of a Boolean satisfiability problem as a part of an importance sampling framework. The estimator uses the recently...
Vibhav Gogate, Rina Dechter
BCSHCI
2008
15 years 2 months ago
Human-centric framework for perceptually adaptive interfaces
Multimodal interfaces have long held the promise of enhanced and effective human machine interaction. The ultimate goal of multimodal interfaces is to facilitate human activity al...
Priyamvada Tripathi