1704 search results - page 254 / 341 » Focusing Software Education on Engineering |
FSTTCS
2010
Springer
14 years 8 months ago
2010
Springer
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
UIST
2010
ACM
14 years 7 months ago
2010
ACM
This paper introduces architectural and interaction patterns for integrating crowdsourced human contributions directly into user interfaces. We focus on writing and editing, compl...
UIST
2010
ACM
14 years 7 months ago
2010
ACM
We describe techniques for direct pen+touch input. We observe people's manual behaviors with physical paper and notebooks. These serve as the foundation for a prototype Micro...
106
click to vote
AIM
2010
14 years 7 months ago
2010
The European Conference on Case-Based Reasoning (CBR) in 2008 marked 15 years of international and European CBR conferences where almost seven hundred research papers were publish...
CSMR
2010
IEEE
14 years 5 months ago
2010
IEEE
Rapidly changing technology is one of the key triggers of system evolution. Some examples are: physically relocating a data center; replacement of infrastructure such as migrating ...