3381 search results - page 309 / 677 » adaptive 2007 |
166
click to vote
MSCS
2007
15 years 6 months ago
2007
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
170
click to vote
XPU
2010
Springer
15 years 5 months ago
2010
Springer
Since late 2007 the software development teams at Codeweavers UK have been incrementally improving their ability to deliver motor finance and insurance web services. This two-year ...
143
Voted
DELFI
2007
15 years 8 months ago
2007
: This paper presents the results of a study on notetaking in university courses and derives implications for the design of electronic notetaking and annotation systems in eLearnin...
186
click to vote
JSW
2007
15 years 6 months ago
2007
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...
194
click to vote
DMIN
2006
15 years 8 months ago
2006
In the music information retrieval field, the most important topic is to extract the feature which represents the content from the music objects. The content feature is useful for ...