6583 search results - page 230 / 1317 » Semantic Analysis Patterns |
189
click to vote
TCS
2008
15 years 7 months ago
2008
Subtyping relations for the -calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to d...
191
click to vote
IVS
2007
15 years 7 months ago
2007
Understanding the spatial and temporal characteristics of individual and group behavior in social networks is a critical component of visual tools for intelligence analysis, emerg...
165
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
Enabling circuit switching in multiprocessor systems has the potential to achieve more efficient communication with lower cost compared to packet/wormhole switching. However, in ...
200
click to vote
CVPR
2006
IEEE
16 years 9 months ago
2006
IEEE
We present an automated method for the tracking and dynamics modeling of microtubules -a major component of the cytoskeleton- which provides researchers with a previously unattain...
182
click to vote
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...