1729 search results - page 249 / 346 » Deterministic Expressions in C |
161
click to vote
IEAAIE
2005
Springer
15 years 12 months ago
2005
Springer
The discovery of new and potentially meaningful relationships between concepts in the biomedical literature has attracted the attention of a lot of researchers in text mining. The ...
157
click to vote
MHCI
2005
Springer
15 years 12 months ago
2005
Springer
This paper reports the user study and design of a concept to improve mobile messaging for teens. A study of current mobile phone use by teens (16-18) showed that, while they prefe...
157
click to vote
SAT
2005
Springer
15 years 12 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
176
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
146
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...