845 search results - page 81 / 169 » Connecting Many-Sorted Theories |
145
click to vote
VL
2006
IEEE
16 years 5 days ago
2006
IEEE
We report on a field study about how software developers experience disorientation when using the Eclipse Java integrated development environment. We analyzed the data using the ...
143
click to vote
MFCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Effective fractal dimension was defined by Lutz (2003) in order to quantitatively analyze the structure of complexity classes. Interesting connections of effective dim...
170
click to vote
SMI
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper expands the role of the new field of computational topology by surveying methods for incorporating connectedness in shape modeling. Two geometric representations in par...
146
click to vote
FOCS
1997
IEEE
15 years 10 months ago
1997
IEEE
The problem of maintaining data that arrives continuously over time is increasingly prevalent in databases and digital libraries. Building on a model for sliding-window indices de...
177
click to vote
LACL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Ca...