2711 search results - page 227 / 543 » Mapping sequences by parts |
260
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
Time Of Check To Time Of Use (TOCTTOU) race conditions for file accesses in user-space applications are a common problem in Unix-like systems. The mapping between filename and i...
174
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper presents an experimental study on automatic face gender classification by building a system that mainly consists of four parts, face detection, face alignment, texture ...
130
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
We developed an importer from both HOL 4 and HOL-light into Isabelle/HOL. The importer works by replaying proofs within Isabelle/HOL that have been recorded in HOL 4 or HOL-light a...
159
click to vote
CSMR
2006
IEEE
16 years 21 days ago
2006
IEEE
To understand a certain issue of the system we want to ask the knowledgeable developers. Yet, in large systems, not every developer is knowledgeable in all the details of the syst...
189
click to vote
ICALT
2006
IEEE
16 years 21 days ago
2006
IEEE
Graphical dialogue -the collaborative construction and modification of drawings- forms an integrated part of many human interactions e.g., the construction of sketch maps, archite...