Sciweavers

2748 search results - page 492 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
CGF
2008
126views more  CGF 2008»
15 years 5 months ago
Results of a User Study on 2D Hurricane Visualization
We present the results from a user study looking at the ability of observers to mentally integrate wind direction and magnitude over a vector field. The data set chosen for the st...
Joel P. Martin, J. Edward Swan II, Robert J. Moorh...
VLDB
2002
ACM
156views Database» more  VLDB 2002»
15 years 5 months ago
A Logical Framework for Scheduling Workflows under Resource Allocation Constraints
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
Pinar Senkul, Michael Kifer, Ismail Hakki Toroslu
ESWA
2008
134views more  ESWA 2008»
15 years 4 months ago
Neighborhood classifiers
K nearest neighbor classifier (K-NN) is widely discussed and applied in pattern recognition and machine learning, however, as a similar lazy classifier using local information for...
Qinghua Hu, Daren Yu, Zongxia Xie
PVLDB
2010
129views more  PVLDB 2010»
15 years 4 months ago
Entity Resolution with Evolving Rules
Entity resolution (ER) identifies database records that refer to the same real world entity. In practice, ER is not a one-time process, but is constantly improved as the data, sc...
Steven Whang, Hector Garcia-Molina
NFM
2011
252views Formal Methods» more  NFM 2011»
15 years 22 days ago
Call Invariants
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
Shuvendu K. Lahiri, Shaz Qadeer