1120 search results - page 166 / 224 » C Elements of Style |
ISBI
2007
IEEE
15 years 6 months ago
2007
IEEE
This contribution describes a system and method for tomographically imaging lymph nodes marked with a lymph endothelium targeting fluorescence reporter. A novel scanning NIR lase...
ISVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
In this work, we present a genetic algorithm based automated circuit synthesis framework for passive analog circuits. A procedure is developed for the simultaneous generation of b...
KBSE
2007
IEEE
15 years 6 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: ...
COSIT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper analyses the semantics of natural language expressions that are associated with the intuitive notion of ‘place’. We note that the nature of such terms is h...
EUROSSC
2007
Springer
15 years 6 months ago
2007
Springer
Context-aware applications require context information to adapt their behaviour to the current situation. When developing context-aware applications, application developers need to...