1285 search results - page 101 / 257 » Structural Operators for Modeling 3-Manifolds |
141
click to vote
ICDE
2005
IEEE
15 years 12 months ago
2005
IEEE
We pose the question: how do we efficiently evaluate a join operator, distributed over a heterogeneous network? Our objective here is to optimize the delay of output tuples. We di...
165
click to vote
CTW
2006
15 years 6 months ago
2006
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
147
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
We pose partitioning a b-bit Internet Protocol (IP) address space as a supervised learning task. Given (IP, property) labeled training data, we develop an IP-specific clustering a...
149
click to vote
FSEN
2007
Springer
16 years 11 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
164
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...