1729 search results - page 249 / 346 » Deterministic Expressions in C |
IEAAIE
2005
Springer
14 years 3 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 ...
MHCI
2005
Springer
14 years 3 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...
SAT
2005
Springer
14 years 3 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 ...
UML
2005
Springer
14 years 3 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 ...
APLAS
2004
ACM
14 years 3 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 ...