11462 search results - page 1865 / 2293 » Developing Application-Centric Methods |
200
click to vote
WAIM
2009
Springer
16 years 4 days ago
2009
Springer
Since the proposition of Journal Impact Factor [1] in 1963, the classical citation-based ranking scheme has been a standard criterion to rank journals and conferences. However, the...
186
click to vote
ECCV
2010
Springer
16 years 3 days ago
2010
Springer
Abstract. Recently, there has been an increasing number of depth cameras available at commodity prices. These cameras can usually capture both color and depth images in real-time, ...
245
click to vote
AGENTS
2001
Springer
16 years 3 days ago
2001
Springer
The development of the semantic Web will require agents to use common domain ontologies to facilitate communication of conceptual knowledge. However, the proliferation of domain on...
214
click to vote
AIME
2001
Springer
16 years 3 days ago
2001
Springer
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...
211
click to vote
CAV
2001
Springer
16 years 3 days ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...