4166 search results - page 723 / 834 » Automating the constraining process |
214
Voted
COGSYS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...
104
Voted
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...
142
Voted
EIT
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract--In the decade since the concept was publicly introduced, power analysis attacks on cryptographic systems have become an increasingly studied topic in the computer securit...
119
Voted
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...
119
Voted
DAIS
2010
15 years 4 months ago
2010
Abstract. More and more home devices are equipped with advanced computational capabilities to improve the user satisfaction (e.g., programmable heating system, Internet TV). Althou...