3844 search results - page 345 / 769 » Modular interpreted systems |
159
click to vote
TCS
2010
14 years 11 months ago
2010
The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of...
189
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The integration of reasoning and computation services across system and language boundaries has been mostly treated from an engineering perspective. In this paper we take a foundat...
240
click to vote
ESOP
2011
Springer
14 years 8 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
153
click to vote
ESOP
2011
Springer
14 years 8 months ago
2011
Springer
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...
150
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
One of the major difficulties in face recognition systems is the in-depth pose variation problem. Most face recognition approaches assume that the pose of the face is known. In th...