2517 search results - page 403 / 504 » Specifying Weak Sets |
281
click to vote
LISP
2006
15 years 6 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
189
click to vote
FGCS
2007
15 years 6 months ago
2007
In this paper we present CAMELotGrid, a tool to manage Grid computations of Cellular Automata that support the efficient simulation of complex systems modeled by a very large numb...
169
click to vote
HF
2007
2007
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
15 years 6 months ago
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
175
click to vote
PR
2008
15 years 6 months ago
2008
Feature selection is an important preprocessing step in mining high-dimensional data. Generally, supervised feature selection methods with supervision information are superior to ...
171
click to vote
RTS
2006
15 years 6 months ago
2006
Timing constraints for radar tasks are usually specified in terms of the minimum and maximum temporal distance between successive radar dwells. We utilize the idea of feasible int...