3804 search results - page 72 / 761 » From Here to There |
136
click to vote
ACL
2010
15 years 4 months ago
2010
Strictly Piecewise (SP) languages are a subclass of regular languages which encode certain kinds of long-distance dependencies that are found in natural languages. Like the classe...
160
click to vote
AVI
2000
15 years 7 months ago
2000
The Cognitive Dimensions framework outlined here is generalised broad-brush approach to usability evaluation for all types of information artifact, from programming languages thro...
138
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
The conventional definition of a topological metric over a space specifies properties that must be obeyed by any measure of "how separated" two points in that space are....
187
click to vote
ISBI
2004
IEEE
16 years 6 months ago
2004
IEEE
In past work, the Metropolis Algorithm along with Gibbs Priors was used to successfully segment two-dimensional noisy gray images into a small finite number of labels. In applicat...
166
click to vote
ASM
2010
ASM
16 years 3 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...