14235 search results - page 2659 / 2847 » Is computer science science |
169
Voted
FOSSACS
1999
Springer
15 years 9 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
90
Voted
HICSS
1998
IEEE
15 years 9 months ago
1998
IEEE
In a deregulated environment, independent generators and utility generators may or may not participate in the load-frequency control of the system. For the purpose of evaluating t...
156
Voted
IWPC
1998
IEEE
15 years 9 months ago
1998
IEEE
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...
120
click to vote
VRML
1998
ACM
15 years 8 months ago
1998
ACM
This paper describes an application of VRML-based multimedia to the domain of spatial cognition experiments. Typically, such experiments involve human subjects that are presented ...
182
click to vote
3DIM
1997
IEEE
15 years 8 months ago
1997
IEEE
In this article we present a method for automatically constructing a solid (in the CAD sense) model of an unknown object from range images. The model acquisition system provides f...