Sciweavers

5924 search results - page 597 / 1185
» Normal Process Representatives
Sort
View
CSE
2009
IEEE
16 years 1 months ago
Information Flow and Search in Unstructured Keyword Based Social Networks
—In online social networks (OSNs), user connections can be represented as a network. The network formed has distinct properties that distinguish it from other network topologies....
Ankush Garg, Prantik Bhattacharyya, Charles U. Mar...
CAIP
2009
Springer
211views Image Analysis» more  CAIP 2009»
16 years 1 months ago
Contextual-Guided Bag-of-Visual-Words Model for Multi-class Object Categorization
Abstract. Bag-of-words model (BOW) is inspired by the text classification problem, where a document is represented by an unsorted set of contained words. Analogously, in the objec...
Mehdi Mirza-Mohammadi, Sergio Escalera, Petia Rade...
EMMCVPR
2009
Springer
16 years 1 months ago
Clustering-Based Construction of Hidden Markov Models for Generative Kernels
Generative kernels represent theoretically grounded tools able to increase the capabilities of generative classification through a discriminative setting. Fisher Kernel is the fi...
Manuele Bicego, Marco Cristani, Vittorio Murino, E...
FM
2009
Springer
124views Formal Methods» more  FM 2009»
16 years 1 months ago
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
FM
2009
Springer
155views Formal Methods» more  FM 2009»
16 years 1 months ago
Towards an Operational Semantics for Alloy
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
Theophilos Giannakopoulos, Daniel J. Dougherty, Ka...