5205 search results - page 933 / 1041 » Tilings and model theory |
175
click to vote
VEE
2006
ACM
16 years 8 days ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
179
click to vote
BIBE
2005
IEEE
15 years 12 months ago
2005
IEEE
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...
178
click to vote
ACMICEC
2005
ACM
15 years 12 months ago
2005
ACM
This paper presents the model of e-market structure and process analysis of tourism e-commerce. First the tourism e-commerce status quo is given clearly; secondly e-commerce and i...
172
click to vote
MIR
2005
ACM
15 years 12 months ago
2005
ACM
Web image search has been explored and developed in academic as well as commercial areas for over a decade. To measure the similarity between Web images and user queries, most of ...
168
click to vote
PODC
2005
ACM
15 years 12 months ago
2005
ACM
We investigate the behaviour of load-adaptive rerouting policies in the Wardrop model where decisions must be made on the basis of stale information. In this model, an infinite n...