1128 search results - page 65 / 226 » Little Engines of Proof |
WEBNET
2000
14 years 11 months ago
2000
: This paper presents the design criteria for an Intelligent User Interface to a search engine of an on-line document data base. The Interface is aimed at users that have little or...
ICTIR
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. A useful ability for search engines is to be able to rank objects with novelty and diversity: the top k documents retrieved should cover possible interpretations of a que...
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures, inferior performances, or user dissatisfaction. In previ...
103
click to vote
SCESM
2006
ACM
15 years 3 months ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
ECIS
2003
14 years 11 months ago
2003
Information systems (IS) and software engineering (SE) have shared the domain of systems and software development for several decades with too little overlap in practice and resea...