22128 search results - page 4298 / 4426 » Research in Structural Computing |
181
Voted
ETS
2000
IEEE
15 years 3 months ago
2000
IEEE
During Spring 1998, we embarked on pedagogical journey into unknown terrains -- the terrains of collaborative teaching and World Wide Web instruction. In this paper we present a j...
132
Voted
ENTCS
2002
15 years 3 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
138
Voted
ENVSOFT
2007
15 years 3 months ago
2007
The paper describes a new software package for automated estimation, display and analyses of various drought indices – continuous functions of precipitation that allow quantitat...
163
Voted
JAR
2000
15 years 3 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
106
Voted
EXPERT
2002
15 years 3 months ago
2002
er than abstracting human behavior as work processes or tasks--functional idealizations of the work to be accomplished--we model people's activities comprehensively and chrono...