8587 search results - page 1477 / 1718 » Interactive dynamic abstraction |
151
Voted
SEMCO
2008
IEEE
15 years 10 months ago
2008
IEEE
We developed a novel analytical environment to aid in the examination of the extensive amount of interconnected data available for genome projects. Our focus is to enable ity and ...
131
Voted
TOOLS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
143
Voted
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Cross-layer routing and scheduling algorithms design for wireless backhaul mesh network has attracted much research interest recently. The network is expected to support...
116
click to vote
AIMSA
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. This paper reports on experiments performed in the development of the QALL-ME system, a multilingual QA infrastructure capable of handling input requests both in written ...
134
Voted
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— For the past decade or so, evolutionary multiobjective optimization (EMO) methodologies have earned wide popularity for solving complex practical optimization problems,...