726 search results - page 77 / 146 » Formal Requirements Engineering: Learning from the Students |
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
124
click to vote
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
100
click to vote
CISIS
2009
IEEE
15 years 6 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Prior distributions are useful for robust low-level vision, and undirected models (e.g. Markov Random Fields) have become a central tool for this purpose. Though sometimes these p...
ACL
2010
14 years 10 months ago
2010
Extracting knowledge from unstructured text is a long-standing goal of NLP. Although learning approaches to many of its subtasks have been developed (e.g., parsing, taxonomy induc...