5022 search results - page 750 / 1005 » Data structures and problem solving using Java |
127
Voted
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
Although keyword query enables inexperienced users to easily search XML database with no specific knowledge of complex structured query languages or XML data schemas, the ambigui...
141
Voted
PPDP
2010
Springer
15 years 29 days ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
117
Voted
PODC
2009
ACM
16 years 3 months ago
2009
ACM
d Abstract] Marcos K. Aguilera Microsoft Research Silicon Valley Mountain View, CA, USA Carole Delporte-Gallet Universit? Paris 7 Paris, France Hugues Fauconnier Universit? Paris ...
112
Voted
CHI
2006
ACM
16 years 3 months ago
2006
ACM
This paper describes results from a series of experimental studies to explore issues related to structuring productive group dynamics for collaborative learning using an adaptive ...
136
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Solving bioinformatics tasks often requires extensive computational power. Recent trends in processor architecture combine multiple cores into a single chip to improve...