15254 search results - page 2887 / 3051 » A k |
186
click to vote
ALENEX
2010
15 years 8 months ago
2010
We implement and compare the major current techniques for representing general trees in succinct form. This is important because a general tree of n nodes is usually represented i...
165
click to vote
BCSHCI
2007
15 years 8 months ago
2007
Engaging in a secondary task, such as dialing a cell phone, while driving a car has been found to have a deleterious effect on driver performance. A point often overlooked though ...
165
click to vote
BILDMED
2007
15 years 8 months ago
2007
Abstract. A major problem of segmentation of magnetic resonance images is that intensities are not standardized like in computed tomography. This article deals with the correction ...
195
click to vote
CASCON
2007
15 years 8 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
154
click to vote
BIOSTEC
2008
15 years 8 months ago
2008
Clinical trial protocols include schedule of clinical trial activities such as clinical tests, procedures, and medications. The schedule specifies temporal constraints on the seque...