4650 search results - page 52 / 930 » Generating and evaluating evaluative arguments |
IJIT
2004
13 years 10 months ago
2004
Statecharts have been originally created to specify complex reactive systems for use in simulating real-time applications. They extend state transition diagrams with notons of hier...
JAIR
2006
13 years 8 months ago
2006
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...
JILP
2002
13 years 8 months ago
2002
As microprocessor designs continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models...
ICASSP
2011
IEEE
13 years 17 days ago
2011
IEEE
In this paper, to automatically generate musical thumbnails that contain the main part of the original tune, we propose a new estimation method for identifying structure changes i...
DCC
2006
IEEE
14 years 8 months ago
2006
IEEE
Abstract. We apply tools coming from singularity theory, as Hamburger-Noether expansions, and from valuation theory, as generating sequences, to explicitly describe order functions...