3066 search results - page 302 / 614 » On Facilitating Automated Evaluation |
182
click to vote
DASFAA
2009
IEEE
15 years 10 months ago
2009
IEEE
Graph-structured databases and related problems such as reachability query processing have been increasingly relevant to many applications such as XML databases, biological databas...
175
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- The complementary characteristics of cellular systems and wireless local area networks (WLANs) make them attractive candidates to jointly offer a seamless wireless solut...
258
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to d...
187
click to vote
WSC
2008
15 years 9 months ago
2008
Lean manufacturing aims at flexible and efficient manufacturing systems by reducing waste in all forms, such as, production of defective parts, excess inventory, unnecessary proce...
159
click to vote
ASSETS
2008
ACM
15 years 8 months ago
2008
ACM
Due to the profile of strengths and weaknesses indicative of autism spectrum disorders (ASD), technology may play a key role in ameliorating communication difficulties with this p...