3408 search results - page 249 / 682 » Logic, language, information and computation |
172
click to vote
NJC
2006
15 years 6 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
195
click to vote
ICCL
1998
IEEE
15 years 11 months ago
1998
IEEE
An aggregate array computation is a loop that computes accumulated quantities over array elements. Such computations are common in programs that use arrays, and the array elements...
157
click to vote
BALT
2006
15 years 10 months ago
2006
In philosophy, the term ontology has been used since the 17th century to refer both to a philosophical discipline (Ontology with a capital "O"), and as a domain-independe...
187
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Blind students are an underrepresented group in computer science. In this paper, we describe our experience preparing and leading the computer science track at the National Federa...
203
click to vote
IPSN
2005
Springer
16 years 5 days ago
2005
Springer
Abstract—This paper presents a sensor-based, networked embedded system, referred to as the Particle computer system. It is comprised of tiny wireless sensor nodes, capable of com...