3384 search results - page 335 / 677 » More Testable Properties |
177
Voted
IJFCS
2007
15 years 6 months ago
2007
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and...
183
click to vote
CACM
2000
15 years 6 months ago
2000
In Programming by Example [PBE, also sometimes called "Programming by Demonstration"] systems, the system records actions performed by a user in the interface, and produ...
213
click to vote
BMCBI
2002
15 years 6 months ago
2002
Background: Recently, Almeida and Vinga offered a new approach for the representation of arbitrary discrete sequences, referred to as Universal Sequence Maps (USM), and discussed ...
145
click to vote
CGF
1998
15 years 6 months ago
1998
Progressive addition lenses are a relatively new approach to compensate for defects of the human visual system. While traditional spectacles use rotationally symmetric lenses, pro...
212
click to vote
PE
2010
Springer
15 years 5 months ago
2010
Springer
We propose a trace fitting algorithm for Markovian Arrival Processes (MAPs) that can capture statistics of any order of interarrival times between measured events. By studying re...