741 search results - page 72 / 149 » Steps towards C C: A Language for Interactions |
212
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
165
click to vote
CASSIS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
196
click to vote
ICMI
2009
Springer
15 years 11 months ago
2009
Springer
Multimodal interfaces combining natural modalities such as speech and touch with dynamic graphical user interfaces can make it easier and more effective for users to interact wit...
194
click to vote
ASPLOS
2006
ACM
16 years 25 days ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
284
click to vote
SMA
2008
ACM
15 years 6 months ago
2008
ACM
3D mesh models are now widely available for use in various applications. The demand for automatic model analysis and understanding is ever increasing. Mesh segmentation is an impo...