3799 search results - page 320 / 760 » An Engineering Approach to Formal Methods |
164
click to vote
AIR
2004
15 years 6 months ago
2004
As the search engine arms-race continues, search engines are constantly looking for ways to improve the manner in which they respond to user queries. Given the vagueness of Web sea...
148
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
This article presents a new method to achieve heterogeneous physical simulation, within the same global system, of both deformable and rigid-bodies objects, whatever their intrins...
188
click to vote
HPCN
1995
Springer
15 years 10 months ago
1995
Springer
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...
167
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
In order to retrieve, select and apply design patterns in a tool-supported way, we suggest to construct and document a problemcontext pattern that reflects the essence of the prob...
191
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We combine in this paper automatic learning of a large lexicon of semantic concepts with traditional video retrieval methods into a novel approach to narrow the semantic ...