4762 search results - page 643 / 953 » About the use of protein models |
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
The rise of distributed collaborative environments has brought about new opportunities for bringing together the experience and skills of geographically dispersed employees toward...
110
Voted
IEEESCC
2005
IEEE
15 years 7 months ago
2005
IEEE
Today’s information technologies, such as autonomic computing, offer companies new ways to do businesses. Those that fail to embrace and use such advantages in the next years ar...
128
click to vote
ECWEB
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
116
click to vote
CONTEXT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. In order to be useful, intelligent information retrieval agents must provide their users with context-relevant information. This paper presents WordSieve, an algorithm fo...