18429 search results - page 452 / 3686 » Typing dynamic typing |
217
click to vote
HASKELL
2008
ACM
15 years 8 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
187
click to vote
ICIP
2005
IEEE
16 years 9 months ago
2005
IEEE
Tracking multiple people in a dynamic environment is important in many applications. Recent research in this area has focused either on geometric analysis or appearance models. In...
157
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
: In this paper we present several algorithmic techniques for inferring the structure of a company when only a limited amount of information is available. We consider problems with...
195
click to vote
CSCW
2008
ACM
15 years 7 months ago
2008
ACM
People dynamically structure social interactions and activities at various locations in their environments in specialized types of places such as the office, home, coffee shop, mus...
157
click to vote
JCC
2008
15 years 7 months ago
2008
Abstract: The dynamic behavior of monomeric Vpu1-32 from HIV-1 in different lipid environments has been studied. The peptide shows highly flexible behavior during the simulations a...