3775 search results - page 119 / 755 » The Expression Problem Revisited |
138
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Selecting the most relevant factors from genetic profiles that can optimally characterize cellular states is of crucial importance in identifying complex disease genes and biomark...
135
Voted
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
Capturing and exploiting knowledge is at the heart of several important problems such as decision making, the semantic web, and intelligent agents. The captured knowledge must be a...
132
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
The accurate modeling of the electronic structure of atoms and molecules involves computationally intensive tensor contractions involving large multi-dimensional arrays. The effi...
109
Voted
EDOC
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper addresses the problem of transforming natural language descriptions of contracts into a form that is suitable for automating various contract management functions. We i...
130
Voted
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...