5101 search results - page 759 / 1021 » Analyzing medical processes |
184
click to vote
IWPC
2009
IEEE
16 years 2 months ago
2009
IEEE
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...
156
click to vote
ACIVS
2009
Springer
16 years 2 months ago
2009
Springer
In this paper we consider an object categorization system using local HMAX features. Two feature matching techniques are compared: the MAX technique, originally proposed in the HMA...
213
click to vote
WEBDB
2009
Springer
16 years 2 months ago
2009
Springer
Online reviews are an important asset for users deciding to buy a product, see a movie, or go to a restaurant, as well as for businesses tracking user feedback. However, most revi...
209
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
Computational trust and reputation models have been recognized as one of the key technologies required to design and implement agent systems. These models manage and aggregate the...
188
click to vote
FM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...