6719 search results - page 1004 / 1344 » A Generalization of Automatic Sequences |
197
Voted
SAC
2010
ACM
16 years 2 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
207
click to vote
SIGCSE
2010
ACM
16 years 2 months ago
2010
ACM
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...
200
click to vote
WWW
2010
ACM
16 years 2 months ago
2010
ACM
We present a method for automatically acquiring of a corpus of disputed claims from the web. We consider a factual claim to be disputed if a page on the web suggests both that the...
219
click to vote
HYBRID
2010
Springer
16 years 2 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
217
click to vote
IPSN
2010
Springer
16 years 2 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aï¬...