726 search results - page 90 / 146 » Formal Requirements Engineering: Learning from the Students |
AAAI
1996
15 years 1 months ago
1996
Truth maintenance systems provide caches of beliefs and inferences that support explanations and search. Traditionally, the cost of using a TMS is monotonic growth in the size of ...
101
click to vote
IEAAIE
2009
Springer
14 years 9 months ago
2009
Springer
Knowledge engineering techniques are becoming useful and popular components of hybrid integrated systems used to solve complicated practical problems in different fields. Knowledge...
117
click to vote
WCRE
2010
IEEE
14 years 10 months ago
2010
IEEE
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...
UIST
2009
ACM
15 years 6 months ago
2009
ACM
We present EverybodyLovesSketch, a gesture-based 3D curve sketching system for rapid ideation and visualization of 3D forms, aimed at a broad audience. We first analyze traditiona...
OTM
2005
Springer
15 years 5 months ago
2005
Springer
In ubiquitous computing, behavior routine learning is the process of mining the context-aware data to find interesting rules on the user’s behavior, while preference learning tri...