3174 search results - page 279 / 635 » An Exploration of the Permanent-Determinant Method |
181
click to vote
CIKM
2007
Springer
16 years 27 days ago
2007
Springer
Paraphrasing van Rijsbergen [37], the time is ripe for another attempt at using natural language processing (NLP) for information retrieval (IR). This paper introduces my disserta...
172
click to vote
CSEE
2007
Springer
16 years 27 days ago
2007
Springer
This report illustrates the use of qualitative methods and an interpretive framework (Cultural Historical Activity Theory) to examine educational interventions. The techniques are...
169
click to vote
DFG
2007
Springer
16 years 27 days ago
2007
Springer
: In urban planning, sophisticated simulation models are key tools to estimate future population growth for measuring the impact of planning decisions on urban developments and the...
152
click to vote
ECOOP
2007
Springer
16 years 27 days ago
2007
Springer
Data in object-oriented programming is organized in a hierarchy of classes. The problem of object-oriented pattern matching is how to explore this hierarchy from the outside. This ...
157
click to vote
FORMATS
2007
Springer
16 years 27 days ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...