3082 search results - page 484 / 617 » Deviation Analysis: A New Use of Model Checking |
160
click to vote
AIEDU
2005
15 years 6 months ago
2005
To help a student in an introductory physics course do quantitative homework problems, an intelligent tutoring system must determine information of an algebraic nature. This paper...
174
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
199
click to vote
WCRE
2008
IEEE
16 years 20 days ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
179
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Today, a huge amount of text is being generated for social purposes on social networking services on the Web. Unlike traditional documents, such text is usually extremely short an...
184
click to vote
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
Many of the computer vision algorithms have been posed in various forms of differential equations, derived from minimization of specific energy functionals, and the finite eleme...