5615 search results - page 355 / 1123 » On the Computational Capabilities of Several Models |
220
click to vote
JLP
2006
15 years 7 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
218
click to vote
SAC
2008
ACM
15 years 7 months ago
2008
ACM
Because of the large amount of trajectory data produced by mobile devices, there is an increasing need for mechanisms to extract knowledge from this data. Most existing works have...
180
Voted
ITICSE
2005
ACM
16 years 1 months ago
2005
ACM
This paper describes research on the perception of undergraduate students of the concept of reduction. Specifically, based on an analysis of students' answers to questions ad...
213
click to vote
ACL
2010
15 years 5 months ago
2010
One of the main obstacles to producing high quality joint models is the lack of jointly annotated data. Joint modeling of multiple natural language processing tasks outperforms si...
200
click to vote
CLUSTER
2007
IEEE
15 years 11 months ago
2007
IEEE
Bulk memory copies incur large overheads such as CPU stalling (i.e., no overlap of computation with memory copy operation), small register-size data movement, cache pollution, etc...