Farrell Ackerman and John Moore, published by CSLI Publications. ©2001 by CSLI Publications. All rights reserved. This text may be used and shared in accordance with the fair-use provisions of U.S. copyright law, and it may be archived and redistributed in electronic form, provided that this entire notice, including copyright information, is carried and provided that CSLI Publications is notifi...

Individual differences in skill acquisition are influenced by several architectural factors. According to Ackerman’s theory, general intelligence, speed of proceduralization and psychomotor speed influence different stages of skill acquisition. The ACT-R cognitive architecture allows for direct testing of this theory by manipulating parameters that correspond to these factors. The present study...

Combination of decision procedures is at the heart of Satisfiability Modulo Theories (SMT) solvers. It provides ways to compose decision procedures for expressive languages which mix symbols from various decidable theories. Typical combinations include (linear) arithmetic, uninterpreted symbols, arrays operators, etc. In [7] we showed that any first-order theory from the Bernays-Schönfinkel-Ram...

We prove a conjecture of Ackerman, Barequet and Pinter. Every floorplan with n internal segments can be embedded on every set of n points in generic position. The construction makes use of area universal floorplans also known as area universal rectangular layouts. The notion of area used in our context depends on a non-uniform density function. We, therefore, have to generalize the theory of ar...

s:Toh M, Banvard R, Ackerman M, Rodgers R, Main JS, The Visible Human Project Web Page,Radiological Society of North America, 1996. Toh M, Falk RB, Horowitz S, Main JS, Digital Brain Atlas Using the “Visible Human Project”Data., Visible Human Project Conference, 1996. Hack GD, Raitu P, Kerr JP, Dunn GF, Toh M, Wilson DR, Visualization of the Muscle-DuralBridge in the Visible Hum...

Many theories of skill acquisition have had considerable success in addressing the fine details of learning in relatively simple tasks, but can they scale up to complex tasks that are more typical of human learning in the real world? Some theories argue for scalability by making the implicit assumption that complex tasks consist of many smaller parts, which are learned according to basic learni...