5630 search results - page 114 / 1126 » Computability in Specification |
137
Voted
ARTS
1999
Springer
15 years 8 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
124
click to vote
SIGCSE
2009
ACM
16 years 4 months ago
2009
ACM
In this paper, we introduce the concept of breadth-last technical elective courses, which are designed to assist undergraduate CS students in integrating their entire core curricu...
126
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Epilepsy is a neurological disorder which causes two million people in the United States for suffering. In this research, we proposed a seizure detection method based on intracran...
170
click to vote
CSC
2010
15 years 2 months ago
2010
Correlation matrices are ubiquitous throughout signal processing, networking and in many areas of science. However, our study of the literature found that there is limited research...
107
click to vote
HCI
2009
15 years 1 months ago
2009
In this paper, we present the system that aids people in wearing makeup easily and make the process enjoyable. The proposed system is the "Smart Makeup Mirror" device, w...