10916 search results - page 2052 / 2184 » On Constructive Connectives and Systems |
189
click to vote
ITCC
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an efficient algorithm called the Quadtree Heuristic for identifying a list of similar terms for each unique term in a large document collection. Term similarity is de...
147
click to vote
DSVIS
2003
Springer
15 years 11 months ago
2003
Springer
CAD systems have yet to become usable at the early stages of product ideation, where precise shape definitions and sometimes even design intentions are not fully developed. To over...
163
click to vote
ICMI
2003
Springer
15 years 11 months ago
2003
Springer
Multimodal interfaces are designed with a focus on flexibility, although very few currently are capable of adapting to major sources of user, task, or environmental variation. The...
216
click to vote
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Functional requirements contain, and systems exhibit, the behavior summarized below.Despite the advances in software engineering since 1968, how to go from a set of functional req...
169
click to vote
CGO
2010
IEEE
15 years 11 months ago
2010
IEEE
Feedback-directed optimization (FDO) is effective in improving application runtime performance, but has not been widely adopted due to the tedious dual-compilation model, the dif...