IEEE Transactions on Pattern Analysis and Machine Intelligence
Vol. 29 No. 9
Articles
Fingerprint image reconstruction from standard templates
R. Cappelli, D. Maio, A. Lumini and D. Maltoni
Spatial random tree grammars for modeling hierarchal structure in images with regions of arbitrary shape
J. M. Siskind, J. Sherman, I. Pollak, M. P. Harper and C. A. Bouman
Soft color segmentation and its applications
Y.-W. Tai, J. Jia and C.-K. Tang
Cardinal interpolation
S. C. Gustafson, D. R. Parker and R. K. Martin
Segmentation of multivariate mixed data via lossy data coding and compression
Y. Ma, H. Derksen, W. Hong and J. Wright
MultiStencils fast marching methods: a highly accurate solution to the eikonal equation on Cartesian domains
M. S. Hassouna and A. A. Farag
A thousand words in a scene
P. Quelhas, F. Monay, J.-M. Odobez, D. Gatica-Perez and T. Tuytelaars
Fast polygonal approximation of digital curves using relaxed straightness properties
P. Bhowmick and B. B. Bhattacharya
Localization of shapes using statistical models and stochastic optimization
F. Destrempes, M. Mignotte and J.-F. Angers
BRDF invariant stereo using light transport constancy
L. Wang, R. Yang and J. E. Davis
Face recognition algorithms surpass humans matching faces over changes in illumination
A. J. O’Toole, P. J. Phillips, F. Jiang, J. H. Ayyad, N. Penard and H. Abdi
Detecting motion regions in the presence of a strong parallax from a moving camera by multiview geometric constraints
C. Yuan, G. G. Medioni, J. Kang and I. Cohen
User assisted separation of reflections from a single image using a sparsity prior
A. Levin and Y. Weiss
Regularized image recovery in scattering media
Y. Y. Schechner and Y. Averbuch
Adaptive object tracking based on an effective appearance filter
H. Wang, D. Suter, K. Schindler and C. Shen
Application of the deflection criterion to classification of radar SAR images
C. Enderli, L. Savy and P. Réfrégier
A simple method for fitting sphere-like surfaces
M. A. Penna and K. A. Dines
Correction to “statistical performance evaluation of biometric authentication systems using random effects models”.
S. Mitra, M. Savvides and A. Brockwell
Correction to “DCT-based iris recognition”
D. M. Monro, S. Rakshit and D. Zhang
Vol. 29 No. 10
Introduction of new associate editors
D. J. Kriegman and D. J. Fleet
Articles
Facial action unit recognition by exploiting their dynamic and semantic relationships
Y. Tong, W. Liao and Q. Ji
General tensor discriminant analysis and Gabor features for gait recognition
D. Tao, X. Li, X. Wu and S. J. Maybank
High-dimensional unsupervised selection and estimation of a finite generalized Dirichlet mixture model based on minimum message length
N. Bouguila and D. Ziou
Discriminant subspace analysis: a Fukunaga–Koontz approach
S. Zhang and T. Sim
Condensed nearest neighbor data domain description
F. Angiulli
Learning to transform time series with a few examples
A. Rahimi, B. Recht and T. Darrell
Epipolar geometry of opti-acoustic stereo imaging
S. Negahdaripour
Dynamosaicing: mosaicing of dynamic scenes
A. Rav-Acha, Y. Pritch, D. Lischinski and S. Peleg
Modeling semantic aspects for cross-media image indexing
F. Monay and D. Gatica-Perez
Context-based object-class recognition and retrieval by generalized correlograms
J. Amores, N. Sebe and P. Radeva
Quasiconvex optimization for robust geometric reconstruction
Q. Ke and T. Kanade
Hidden conditional random fields
A. Quattoni, S. B. Wang, L.-P. Morency, M. Collins and T. Darrell
2D affine-invariant contour matching using B-spline model
Y. Wang and E. K. Teoh
Extreme compression and modeling of bidirectional texture function
M. Haindl and J. Filip
On the relationship between dependence tree classification error and Bayes error rate
K. S. Balagani and V. V. Phoha
Comments on the CASIA version 1.0 Iris data set
P. J. Phillips, K. W. Bowyer and P. J. Flynn
Vol. 29 No. 11
Articles
Clustering and embedding using commute times
H. Qiu and E. R. Hancock
Hybrid detectors for subpixel targets
J. Broadwater and R. Chellappa
Restoring 2D content from distorted documents
M. S. Brown, M. Sun, R. Yang, L. Yun and W. B. Seales
A practical approach for writer-dependent symbol recognition using a writer-independent symbol recognizer
J. J. LaViola Jr. and R. C. Zeleznik
An efficient multimodal 2D–3D hybrid approach to automatic face recognition
A. S. Mian, M. Bennamoun and R. A. Owens
Weighted graph cuts without eigenvectors a multilevel approach
I. S. Dhillon, Y. Guan and B. Kulis
Classification and recognition of dynamical models: the role of phase, independent components, kernels and optimal transport
A. Bissacco, A. Chiuso and S. Soatto
Registration of challenging image pairs: initialization, estimation, and decision
G. Yang, C. V. Stewart, M. Sofka and C.-L. Tsai
Methods for fine registration of cadastre graphs to images
R. Trias-Sanz, M. P. Deseilligny, J. Louchet and G. Stamon
Shape estimation using polarization and shading from two views
G. Atkinson and E. R. Hancock
Shape estimation of transparent objects by using inverse polarization ray tracing
D. Miyazaki and K. Ikeuchi
BM3E: discriminative density propagation for visual tracking
C. Sminchisescu, A. Kanaujia and D. N. Metaxas
Space–time behavior-based correlation—or—how to tell if two underlying motion fields are similar without computing them?
E. Shechtman and M. Irani
Image analysis using Hahn moments
P.-T. Yap, P. Raveendran and S.-H. Ong
Vol. 29 No. 12
Articles
From scores to face templates: a model-based approach
P. Mohanty, S. Sarkar and R. Kasturi
Dynamic graph cuts for efficient inference in Markov random fields
P. Kohli and P. H. S. Torr
Flexible spatial configuration of local image features
G. Carneiro and A. D. Jepson
Infinitely divisible cascades to model the statistics of natural images
P. Chainais
Representing images using nonorthogonal Haar-like bases
F. Tang, R. Crabb and H. Tao
Nonsmooth optimization techniques for semisupervised classification
A. Astorino and A. Fuduli
Orthogonal neighborhood preserving projections: a projection-based dimensionality reduction technique
E. Kokiopoulou and Y. Saad
Robust object tracking via online dynamic spatial bias appearance models
D. Chen and J. Yang
Bayesian analysis of Lidar signals with multiple returns
S. Hernandez-Marin, A. M. Wallace and G. J. Gibson
Multiscale joint segmentation and registration of image morphology
M. Droske and M. Rumpf
Three-dimensional surface mesh segmentation using curvedness-based region growing approach
A. Jagannathan and E. L. Miller
Robust recovery of shapes with unknown topology from the dual space
C. Liang and K.-Y. Kenneth Wong
Iterative extensions of the sturm/triggs algorithm: convergence and nonconvergence
J. Oliensis and R. Hartley
Automatic age estimation based on facial aging patterns
X. Geng, Z.-H. Zhou and K. Smith-Miles
Multiview stereo via volumetric graph-cuts and occlusion robust photo-consistency
G. Vogiatzis, C. H. Esteban, P. H. S. Torr and R. Cipolla
Actions as space–time shapes
L. Gorelick, M. Blank, E. Shechtman, M. Irani and R. Basri
International Journal of Computer Vision
Vol. 73 No. 3
Articles
Three-dimensional shape knowledge for joint image segmentation and pose tracking
B. Rosenhahn, T. Brox and J. Weickert
Evaluation of features detectors and descriptors based on 3D objects
P. Moreels and P. Perona
Human pose estimation using partial configurations and probabilistic regions
T. J. Roberts, S. J. McKenna and I. W. Ricketts
On shape of plane elastic curves
W. Mio, A. Srivastava and S. H. Joshi
Generalized gradients: priors on minimization flows
G. Charpiat, P. Maurel, J.-P. Pons, R. Keriven and O. D. Faugeras
Sobolev active contours
G. Sundaramoorthi, A. J. Yezzi and A. Mennucci
Vol. 74 No. 1
Editorial: Marr Prize and Honorable Mentions at ICCV 2005
C. Schnörr
Articles
Globally optimal estimates for geometric reconstruction problems
F. Kahl and D. Henrion
Detecting irregularities in images and in video
O. Boiman and M. Irani
On the spatial statistics of optical flow
S. Roth and M. J. Black
The CLEF 2005 automatic medical image annotation task
T. Deselaers, H. Müller, P. Clough, H. Ney and T. Martin Lehmann
Automatic panoramic image stitching using invariant features
M. Brown and D. G. Lowe
Partial linear Gaussian models for tracking in image sequences using sequential Monte Carlo methods
E. Arnaud and É. Mémin
Vol. 74 No. 2
Articles
Tree structure for contractible regions in R3
J. N. Damon
Essential matrix estimation using Gauss–Newton iterations on a manifold
U. Helmke, K. Hüper, P. Yean Lee and J. B. Moore
Projective visual hulls
S. Lazebnik, Y. Furukawa and J. Ponce
A component-based framework for face detection and identification
B. Heisele, T. Serre and T. Poggio
Efficient shape modeling: epsilon-entropy, adaptive coding, and boundary curves-vs-Blum’s medial axis
K. Leonard
Non-rigid multi-modal image registration using cross-cumulative residual entropy
F. Wang and B. C. Vemuri
Vol. 74 No. 3
Editorial: Special issue on vision and robotics, Parts I and II
G. D. Hager, M. Hebert and S. Hutchinson
Articles
Omnidirectional vision based topological navigation
T. Goedemé, M. Nuttin, T. Tuytelaars and L. J. Van Gool
Monocular vision for mobile robot localization and autonomous navigation
E. Royer, M. Lhuillier, M. Dhome and J.-M. Lavest
Detecting loop closure with scene sequences
K. L. Ho and P. M. Newman
Reverse optical flow for self-supervised adaptive autonomous robot navigation
A. Lookingbill, J. Rogers, D. Lieb, J. Curry and S. Thrun
A study of the Rao–Blackwellised particle filter for efficient and accurate vision-based SLAM
R. Sim, P. Elinas and J. J. Little
Design through operation of an image-based velocity estimation system for mars landing
A. E. Johnson, R. G. Willson, Y. Cheng, J. Goguen, C. Leger, M. Sanmartin and L. Matthies
Vision-based SLAM: stereo and monocular approaches
T. Lemaire, C. Berger, I.-K. Jung and S. Lacroix
Vol. 75 No. 1
Editorial
K. Ikeuchi, G. Klinker, Y. Ohta and R. Szeliski
Articles
Vision and rain
K. Garg and S. K. Nayar
Appearance sampling of real objects for variable illumination
I. Sato, T. Okabe and Y. Sato
Stereo for image-based rendering using image over-segmentation
C. L. Zitnick and S. B. Kang
Computer vision on Mars
L. Matthies, M. W. Maimone, A. E. Johnson, Y. Cheng, R. G. Willson, C. Villalpando, S. B. Goldberg, A. Huertas, A. Stein and A. Angelova
2D vs. 3D deformable face models: representational power, construction, and real-time fitting
I. Matthews, J. Xiao and S. Baker
Face hallucination: theory and practice
C. Liu, H.-Y. Shum and W. T. Freeman
Image-based modeling by joint segmentation
L. Quan, J. Wang, P. Tan and L. Yuan
Recovering surface layout from an image
D. Hoiem, A. A. Efros and M. Hebert
Live 3D video in soccer stadium
Y. Ohta, I. Kitahara, Y. Kameda, H. Ishikawa and T. Koyama
The Great Buddha Project: digitally archiving, restoring, and analyzing cultural heritage objects
K. Ikeuchi, T. Oishi, J. Takamatsu, R. Sagawa, A. Nakazawa, R. Kurazume, K. Nishino, M. Kamakura and Y. Okamoto
Vol. 75 No. 2
Articles
Multivariate statistical models for image denoising in the wavelet domain
T. Shan and L. Jiao
Self-invertible 2D log-Gabor wavelets
S. Fischer, F. Sroubek, L. Perrinet, R. Redondo and G. Cristóbal
Detection and tracking of multiple, partially occluded humans by Bayesian combination of edgelet based part detectors
B. Wu and R. Nevatia
POP: patchwork of parts models for object recognition
Y. Amit and A. Trouvé
A performance study on different cost aggregation approaches used in real-time stereo matching
M. Gong, R. Yang, L. Wang and M. Gong
A unified gradient-based approach for combining ASM into AAM
J. Sung, T. Kanade and D. Kim
Vol. 75 No. 3
Articles
Correspondence-free structure from motion
A. Makadia, C. Geyer and K. Daniilidis
A low dimensional fluid motion estimator
A. Cuzol, P. Hellier and É. Mémin
Registration of 3D points using geometric algebra and tensor voting
L. Reyes, G. G. Medioni and E. Bayro-Corrochano
Symmetrical dense optical flow estimation with occlusions detection
L. Álvarez, R. Deriche, T. Papadopoulo and J. Sánchez
Statistical multi-object shape models
C. Lu, S. M. Pizer, S. C. Joshi and J.-Y. Jeong
International Journal of Intelligent Systems
Vol. 22 No. 1
Research Articles
Recent advances in computational models of natural argument
C. Reed and F. Grasso
Modeling naturalistic argumentation in research literatures: representation and interaction design issues
S. B. Shum, V. S. Uren, G. Li, B. Sereno and C. Mancini
Argumentation within deductive reasoning
A. Fiedler and H. Horacek
A study of argumentation in a causal probabilistic humanistic domain: genetic counseling
N. Green
The eightfold way of deliberation dialogue
P. McBurney, D. Hitchcock and S. Parsons
A human–computer debating system prototype and its dialogue strategies
T. Yuan, D. J. Moore and A. Grierson
Vol. 22 No. 2
Research Articles
A possibility theory-based approach to the handling of uncertain relations between temporal points
D. Dubois, A. HadjAli and H. Prade
Quantization effects on the equilibrium behavior of combined fuzzy cognitive maps
R. Taber, R. R. Yager and C. M. Helgason
On Elkan’s theorems: clarifying their meaning via simple proofs
R. Belohlávek and G. J. Klir
An argument-dependent approach to determining OWA operator weights based on the rule of maximum entropy
J. Wu, C.-y. Liang and Y.-q. Huang
nk-bags
K. Chakrabarty and I. Despi
Vol. 22 No. 3
Research Articles
Updating extended possibility-based fuzzy relational databases
Z. M. Ma and L. Yan
Estimating the performance of multidimensional access methods based on nonoverlapping regions
B. Yu, T. Bailey and R. Orlandic
Intelligent Fril/SQL interrogator
D. (Walter) Xie and J. F. Baldwin
DynJAQ: an adaptive and flexible dynamic FAQ system
D. Camacho and M. D. Rodríguez-Moreno
Vol. 22 No. 4
Research Articles
Investigating the potential of art neural network models for indexing and information retrieval
R. A. F. Romero, J. F. Vicentini, P. R. Oliveira and A. J. M. Traina
Hybrid flexible neural-tree-based intrusion detection systems
Y. Chen, A. Abraham and B. Yang
Assessment of four modifications of a novel indexing technique for case-based reasoning
M. Galushka, D. W. Patterson and C. Nugent
Relevance in systems having a fuzzy-set-based semantics
R. R. Yager
Vol. 22 No. 5
Introduction
Editorial: A special issue on e-service intelligence
J. Lu, D. Ruan, G. Zhang and H.-J. Zimmermann
Research Articles
Intelligent e-government services with personalized recommendation techniques
X. Guo and J. Lu
A multigranular linguistic content-based recommendation model
L. Martínez, L. G. Pérez and M. J. Barranco
Handling linguistic web information based on a multi-agent system
Z. Pei, D. Ruan, Y. Xu and J. Liu
Clustering web search results using fuzzy ants
S. Schockaert, M. De Cock, C. Cornelis and E. E. Kerre
Developing and assessing an intelligent forex rolling forecasting and trading decision support system for online e-service
L. Yu, S. Wang, K. K. Lai and W. W. Huang
Knowledge provision with intelligent e-services
P. Georgolios, K. Kafentzis and G. Mentzas
Trust ontologies for e-service environments
E. Chang, T. S. Dillon and F. K. Hussain
Fuzzy multi-attribute cost-benefit analysis of e-services
C. Kahraman, N. Y. Ates, S. Çevik and M. Gülbay
Evaluating e-learning web site quality in a fuzzy environment
G. Büyüközkan, D. Ruan and O. Feyzioglu
Vol. 22 No. 6
Research Articles
Flexible querying via if-sets
P. Grzegorzewski and E. Mrówka
A method for fuzzy clustering with ordinal attributes
R. K. Brouwer
Using the moving average rule in a dynamic web recommendation system
Y.-J. Su, H. C. Jiau and S.-R. Tsai
Multicriteria group decision making under incomplete preference judgments: using fuzzy logic with a linguistic quantifier
D. H. Choi, B. S. Ahn and S. H. Kim
International Journal of Software Engineering and Knowledge Engineering
Vol. 17 No. 2
Guest Editors: Introduction
K. Zhang, G. Spanoudakis and G. Visaggio
Articles
The radar architecture for personal cognitive assistance
D. Garlan and B. R. Schmerl
User profiling in the chronobot/virtual classroom system
X. Li and S.-K. Chang
A model-based design-for-verification approach to checking for deadlock in multi-threaded applications
B. Sarna-Starosta, R. E. K. Stirewalt and L. K. Dillon
An empirical analysis of the open source development process based on mining of source code repositories
M. Scotto, A. Sillitti and G. Succi
Abstract logic tree based framework for component based solution composition design and execution
W. Sun, X. Zhang, Y. Liu and Z. Tian
From hippocratic databases to secure Tropos: a computer-aided re-engineering approach
F. Massacci, J. Mylopoulos and N. Zannone
Secure Tropos: a security-oriented extension of the Tropos methodology
H. Mouratidis and P. Giorgini
Vol. 17 No. 3
Guest Editors’ introduction
J. Gao and S. Beydeda
Articles
A flexible strategy for embedding and configuring run-time contract checks in .net components
S. H. Edwards and W. Haggard
Automating functional testing of components from UML specifications
D. L. Barbosa, H. S. Lima, P. D. L. Machado, J. C. A. de Figueiredo, M. A. Jucá and W. de L. Andrade
Improving class firewall regression test selection by removing the class firewall
M. Skoglund and P. Runeson
A framework for statistical testing of software components
R. Shukla, P. A. Strooper and D. A. Carrington
An ontology for understanding and applying object-oriented design knowledge
J. Garzás and M. Piattini
Design optimization metrics for UML based object-oriented systems
E. Ramaraj and S. Duraisamy
Vol. 17 No. 4
Guest Editors’ introduction
A. Guercio and T. Arndt
Articles
Composite algorithms in image content searches
J. R. Parker and B. Behm
Assessment of Linux’ data path implementations for download and streaming
P. Halvorsen, T. A. Dalseng and C. Griwodz
Protect virtual property in online gaming system
R. Song, L. Korba, G. Yee and Y.-C. Chen
RBS: a robust bimodal system for face recognition
A. F. Abate, M. Nappi, D. Riccio and G. Tortora
A pattern framework for software quality assessment and tradeoff analysis
E. Folmer and J. Bosch
A pilot study of productive versus nonproductive knowledge acquisition in embedded software development
S. L. Winberg and S. R. Schach
Vol. 17 No. 5
Articles
IC card: visual specification for rapid prototyping of time-critical applications
S.-K. Chang, P. Rajnovic and M. Zalar
Xml schema matching
J. Lu, J. Wang and S. Wang
Software architecture decomposition using attributes
C.-H. Lung, X. Xu and M. Zaman
Formal specification approach of role dynamics in agent organisations: application to the satisfaction-altruism model
V. Hilaire, P. Gruer, A. Koukam and O. Simonin
On the software and knowledge engineering aspects of the educational process
T. Hadzilacos, D. Kalles and M. Pouliopoulou
IT-outsourcing and IT-offshoring: trends and impacts on SE/KE curricula
R. Hira, Ó. D. Tubío, G. Spanoudakis, G. Visaggio, G. Wirtz and S. K. Chang
Vol. 17 No. 6
Guest Editors’ introduction
H. Mei and T. H. Tse
Articles
A statistical methodology to simplify software metric models constructed using incomplete data samples
V. K. Y. Chan, W. Eric Wong and T. F. Xie
A translator of software architecture design from SAM to Java
Y. Fu, Z. Dong and X. He
Towards automatic testing of imaging software by means of random and metamorphic testing
R. Guderlei and J. Mayer
Crème: an automatic invariant prover of behavioral specifications
M. Nakano, K. Ogata, M. Nakamura and K. Futatsugi
On favourable conditions for adaptive random testing
T. Y. Chen, F.-C. Kuo and Z. Zhou
A survey of existing requirements engineering technologies and their coverage
P. Parviainen and M. Tihinen
Journal of Artificial Intelligence Research
Vol. 29
Articles
Answer sets for logic programs with arbitrary abstract constraint atoms
T. C. Son, E. Pontelli and P. H. Tu
Obtaining reliable feedback for sanctioning reputation mechanisms
R. Jurca and B. Faltings
An algebraic graphical model for decision with uncertainties, feasibilities, and utilities
C. Pralet, G. Verfaillie and T. Schiex
Vol. 30
Articles
Learning semantic definitions of online information sources
M. J. Carman and C. A. Knoblock
Graph abstraction in real-time heuristic search
V. Bulitko, N. R. Sturtevant, J. Lu and T. Yau
The planning spectrum-one, two, three, infinity
M. Pistore and M. Y. Vardi
Chain: A dynamic double auction framework for matching patient agents
J. Bredin, D. C. Parkes and Q. Duong
Knowledge derived from Wikipedia for computing semantic relatedness
S. P. Ponzetto and M. Strube
Compressed pattern databases
A. Felner, R. E. Korf, R. Meshulam and R. C. Holte
Topic and role discovery in social networks with experiments on enron and academic email
A. McCallum, X. Wang and A. Corrada-Emmanuel
Reasoning with very expressive fuzzy description logics
G. Stoilos, G. B. Stamou, J. Z. Pan, V. Tzouvaras and I. Horrocks
New inference rules for Max-SAT
C. M. Li, F. Manyà and J. Planes
Natural events
J. Bell
Individual and domain adaptation in sentence planning for dialogue
M. A. Walker, A. Stent, F. Mairesse and R. Prasad
Using linguistic cues for the automatic recognition of personality in conversation and text
F. Mairesse, M. A. Walker, M. R. Mehl and R. K. Moore
On the semantics of logic programs with preferences
S. Greco, I. Trubitsyna and E. Zumpano
A framework for kernel-based multi-category classification
S. I. Hill and A. Doucet
Probabilistic planning via heuristic forward search and weighted model counting BibTeX
C. Domshlak and J. Hoffmann
Query-time entity resolution
I. Bhattacharya and L. Getoor
Learning to play using low-complexity rule-based policies: illustrations through Ms. Pac-Man
I. Szita and A. Lörincz
Journal of Autonomous Agents and Multiagent Systems
Vol. 14 No. 3
Articles
Searching for close alternative plans
A. Felner, R. Stern, J. S. Rosenschein and A. Pomeransky
Searching for close alternative plans
A. Felner, R. Stern, J. S. Rosenschein and A. Pomeransky
Exploring selfish reinforcement learning in repeated games with stochastic rewards
K. Verbeeck, A. Nowé, J. Parent and K. Tuyls
Coordinating microscopic robots in viscous fluids
T. Hogg
Vol. 15 No. 1
Special Issue on Multi-Agent Learning
Multi-agent learning
E. Alonso
An experts approach to strategy selection in multiagent meeting scheduling
E. Crawford and M. M. Veloso
Local strategy learning in networked multi-agent team formation
B. Bulka, M. E. Gaston and M. desJardins
Learning to communicate in a decentralized environment
C. V. Goldman, M. Allen and S. Zilberstein
Reaching pareto-optimality in prisoner’s dilemma using conditional joint action learning
D. Banerjee and S. Sen
Vol. 15 No. 2
Articles
Applying game theory mechanisms in open agent systems with complete information
F. Guerin
A framework for meta-level control in multi-agent systems
A. Raja and V. R. Lesser
Shaping multi-agent systems with gradient reinforcement learning
O. Buffet, A. Dutech and F. Charpillet
An agent architecture for multi-attribute negotiation using incomplete preference information
C. M. Jonker, V. Robu and J. Treur
Vol. 15 No. 3
Articles
A formal framework for connective stability of highly decentralized cooperative negotiations
F. Amigoni and N. Gatti
Generalized multiagent learning with performance bound
B. Banerjee and J. Peng
Honesty and trust revisited: the advantages of being neutral about other’s cognitive models
M. Gómez, J. Carbó and C. B. Earle
A comprehensive view of agent-oriented patterns
A. Oluyomi, S. Karunasekera and L. Sterling
Journal of Logic, Language and Information
Vol. 16 No. 4
Introduction
R. Kibble, P. Piwek and I. van der Sluis
Articles
Dialogue coherence: a generation framework
R.-J. Beun and R. M. van Eijk
Generating coherence relations via internal argumentation
R. Kibble
Meaning and dialogue coherence: a proof-theoretic investigation
P. Piwek
Lexical choice and conceptual perspective in the generation of plural referring expressions
A. Gatt and K. van Deemter
Supplementing entity coherence with local rhetorical relations for information ordering
N. Karamanis
The German vorfeld and local coherence
K. Filippova and M. Strube
Vol. 17 No. 1
Articles
Towards a natural language semantics without functors and operands
M. Erdélyi-Szabó, L. Kálmán and A. Kurucz
A hybrid logic for reasoning about knowledge and topology
B. Heinemann
First-order glue
M. Kokkonidis
Strong completeness and limited canonicity for PDL
G. R. R. de Lavalette, B. P. Kooi and R. Verbrugge
The basic constructive logic for a weak sense of consistency
G. Robles and J. M. Méndez
On combinations of propositional dynamic logic and doxastic modal logics
R. A. Schmidt and D. Tishkovsky
Journal of Machine Learning Research
Vol. 8, August 2007
Articles
A nonparametric statistical approach to clustering via mode identification
J. Li, S. Ray and B. G. Lindsay
Polynomial identification in the limit of substitutable context-free languages
A. Clark and R. Eyraud
Structure and majority classes in decision tree learning
R. J. Hickey
Characterizing the function space for Bayesian kernel models
N. S. Pillai, Q. Wu, F. Liang, S. Mukherjee and R. L. Wolpert
“Ideal parent” structure learning for continuous variable Bayesian networks
G. Elidan, I. Nachman and N. Friedman
Behavioral shaping for geometric concepts
M. Chhabra, R. A. Jacobs and Daniel Štefankovič
Large margin semi-supervised learning
J. Wang and X. Shen
Fast iterative kernel principal component analysis
S. Günter, N. N. Schraudolph and S. V. N. Vishwanathan
A generalized maximum entropy approach to Bregman co-clustering and matrix approximation
A. Banerjee, I. Dhillon, J. Ghosh, S. Merugu and D. S. Modha
Vol. 8, September 2007
Articles
Truncating the loop series expansion for belief propagation
V. Gómez, J. M. Mooij and H. J. Kappen
Very fast online learning of highly nonlinear problems
A. Chariatis
Unlabeled compression schemes for maximum classes
D. Kuzmin and M. K. Warmuth
Refinable Kernels
Y. Xu and H. Zhang
A complete characterization of a family of solutions to a generalized Fisher criterion
M. Loog
Transfer learning via inter-task mappings for temporal difference learning
M. E. Taylor, P. Stone and Y. Liu
Vol. 8, October 2007
Articles
Proto-value functions: a Laplacian framework for learning representation and control in Markov decision processes
S. Mahadevan and M. Maggioni
Online learning of multiple tasks with a shared loss
O. Dekel, P. M. Long and Y. Singer
Euclidean embedding of co-occurrence data
A. Globerson, G. Chechik, F. Pereira and N. Tishby
Harnessing the expertise of 70,000 human editors: knowledge-based feature generation for text categorization
E. Gabrilovich and S. Markovitch
AdaBoost is consistent
P. L. Bartlett and M. Traskin
The on-line shortest path problem under partial monitoring
A. György, T. Linder, G. Lugosi and G. Ottucsák
The locally weighted bag of words framework for document representation
G. Lebanon, Y. Mao and J. Dillon
The need for open source software in machine learning
S. Sonnenburg, M. L. Braun, C. S. Ong, S. Bengio, L. Bottou, G. Holmes, Y. LeCun, K.-R. Müller, F. Pereira, C. E. Rasmussen, G. Rätsch, B. Schölkopf, A. Smola, P. Vincent, J. Weston and R. Williamson
On the representer theorem and equivalent degrees of freedom of SVR
F. Dinuzzo, M. Neve, G. De Nicolao and U. P. Gianazza
Nonlinear estimators and tail bounds for dimension reduction in l1 using cauchy random projections
P. Li, T. J. Hastie and K. W. Church
Vol. 8, November 2007
Articles
Revised loss bounds for the set covering machine and sample-compression loss bounds for imbalanced data
Z. Hussain, F. Laviolette, M. Marchand, J. Shawe-Taylor, S. C. Brubaker and M. D. Mullin
VC theory of large margin multi-category classifiers
Y. Guermeur
Learning in environments with unknown dynamics: towards more robust concept learners
M. Núñez, R. Fidalgo and R. Morales
Hierarchical average reward reinforcement learning
M. Ghavamzadeh and S. Mahadevan
Vol. 8, December 2007
Articles
Ranking the best instances
S. Clémençon and N. Vayatis
Stagewise lasso
P. Zhao and B. Yu
A new probabilistic approach in rank regression with optimal Bayesian partitioning
C. Hue and M. Boullé
Dynamic weighted majority: an ensemble method for drifting concepts
J. Z. Kolter and M. A. Maloof
Journal of Web Semantics
Vol. 5 No. 2
Software engineering and the Semantic Web
Pellet: a practical OWL-DL reasoner
E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur and Y. Katz
GrOWL: a tool for visualization and editing of OWL ontologies
S. Krivov, R. Williams and F. Villa
Regular papers
A survey of trust in computer science and the Semantic Web
D. Artz and Y. Gil
AquaLog: An ontology-driven question answering system for organizational semantic intranets
V. Lopez, V. S. Uren, E. Motta and M. Pasin
Special section: Software Engineering and the Semantic Web
Editorial
E. Wallace
Towards a web of patterns
J. Dietrich and C. Elgar
Verifying feature models using OWL
H. H. Wang, Y.-F. Li, J. Sun, H. Zhang and J. Pan
Leveraging Semantic Web technologies for business component specification
A. Korthaus, M. Schwind and S. Seedorf
Towards semantically enhanced Web service repositories
M. Sabou and J. Pan
Vol. 5 No. 3
Ontology papers
SwetoDblp ontology of computer science publications
B. Aleman-Meza, F. Hakimpour, I. B. Arpinar and A. P. Sheth
DOLCE ergo SUMO: on foundational and domain models in the SmartWeb Integrated Ontology (SWIntO)
D. Oberle, A. Ankolekar, P. Hitzler, P. Cimiano, M. Sintek, M. Kiesel, B. Mougouie, S. Baumann, S. Vembu and M. Romanelli
Web Authoring for Accessibility (WAfA)
S. Harper and Y. Yesilada
Variable-strength conditional preferences for ranking objects in ontologies
T. Lukasiewicz and J. Schellhase
Regular papers
Patterns of semantic relations to improve image content search
L. Hollink, G. Schreiber and B. J. Wielinga
Magpie: experiences in supporting Semantic Web browsing
M. Dzbor, E. Motta and J. Domingue
Vol. 5 No. 4
World Wide Web Conference 2006 Semantic Web Track
Where is the Web in the Semantic Web?
F. van Harmelen and M. Uschold
Towards content trust of web resources
Y. Gil, D. Artz
A comparison of two modelling paradigms in the Semantic Web
P. F. Patel-Schneider and I. Horrocks
Semantic Wikipedia
M. Krötzsch, D. Vrandecic, M. Völkel, H. Haller and R. Studer
POLYPHONET: an advanced social network extraction system from the Web
Y. Matsuo, J. Mori, M. Hamasaki, T. Nishimura, H. Takeda, K. Hasida and M. Ishizuka
Machine Learning
Vol. 66 Nos. 2–3
Special Issue on Learning Theory
Guest editorial: Learning theory
O. Bousquet and A. Elisseeff
Suboptimal behavior of Bayes and MDL in classification under misspecification
P. Grünwald and J. Langford
A new PAC bound for intersection-closed concept classes
P. Auer and R. Ortner
Model selection by bootstrap penalization for classification
M. Fromont
Optimal dyadic decision trees
G. Blanchard, C. Schäfer, Y. Rozenholc and K.-R. Müller
A framework for statistical clustering with constant time approximation algorithms for K-median and K-means clustering
S. Ben-David
Statistical properties of kernel principal component analysis
G. Blanchard, O. Bousquet and L. Zwald
Statistical properties of kernel principal component analysis
L. Zwald
Feature space perspectives for learning the kernel
C. A. Micchelli and M. Pontil
Improved second-order bounds for prediction with expert advice
N. Cesa-Bianchi, Y. Mansour and G. Stoltz
Vol. 67 Nos. 1&2
Special Issue on Learning & Computational Game Theory
Introduction to the special issue on learning and computational game theory
A. R. Greenwald and M. L. Littman
Slow emergence of cooperation for win-stay lose-shift on trees
E. Mossel and S. Roch
AWESOME: A general multiagent learning algorithm that converges in self-play and learns a best response against stationary opponents
V. Conitzer and T. Sandholm
A general criterion and an algorithmic framework for learning in multi-agent systems
R. Powers, Y. Shoham and T. Vu
Online calibrated forecasts: memory efficiency versus universality for learning in games
S. Mannor, J. S. Shamma and G. Arslan
Bidding agents for online auctions with hidden bids
A. X. Jiang and K. Leyton-Brown
Learning payoff functions in infinite games
Y. Vorobeychik, M. P. Wellman and S. P. Singh
Vol. 67 No. 3
Articles
Density estimation with stagewise optimization of the empirical risk
J. Klemelä
Stability of unstable learning algorithms
D. R. Hush, C. Scovel and I. Steinwart
Multi-class learning by smoothed boosting
R. Jin and J. Zhang
Vol. 68 No. 1
Articles
Discovering significant patterns
G. I. Webb
Invariant kernel functions for pattern analysis and machine learning
B. Haasdonk and H. Burkhardt
Predictive modelling of heterogeneous sequence collections by topographic ordering of histories
A. Kabán
PAV and the ROC convex hull
T. Fawcett and A. Niculescu-Mizil
Vol. 68 No. 2
Articles
Smooth relevance vector machine: a smoothness prior extension of the RVM
A. Schmolck and R. M. Everson
On the use of ROC analysis for the optimization of abstaining classifiers
T. Pietraszek
Structured large margin machines: sensitive to data distributions
D. S. Yeung, D. Wang, W. W. Y. Ng, E. C. C. Tsang and X. Wang
Vol. 68 No. 3
Articles
Annealing stochastic approximation Monte Carlo algorithm for neural network training
F. Liang
Active learning for logistic regression: an evaluation
A. I. Schein and L. H. Ungar
A note on Platt’s probabilistic outputs for support vector machines
H.-T. Lin, C.-J. Lin and R. C. Weng
Studia Logica
Vol. 85 No. 1
Articles
Uniform interpolation and propositional quantifiers in modal logics
M. Bílková
Another paradox in naive set-theory
L. Colson
An institution-independent proof of the Robinson consistency theorem
D. Gâinâ and A. Popescu
Notes on logics of metric spaces
O. Kutz
Meaning and interpretation. I
U. Wybraniec-Skardowska
The stag hunt and the evolution of social structure
R. van Rooij
Vol. 85 No. 2
Articles
A note on neat reducts
T. S. Ahmed
On learnability of restricted classes of categorial grammars
B. Dziemidowicz-Gryz
Combinatory logic and the semantics of substructural logics
L. Goble
A deep inference system for the modal logic S5
P. Stouppa
Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
G. Voutsadakis
A propositional logic with relative identity connective and a partial solution to the paradox of analysis
X. Wen
Meaning and interpretation. II
U. Wybraniec-Skardowska
Correction to FOIL axiomatized studia logica
M. Fitting
Book reviews
R. Cook
Vol. 85 No. 3
Articles
Tableaux and dual tableaux: transformation of proofs
J. Golinska-Pilarek and E. Orlowska
Kripke incomplete logics containing KTB
Y. Miyazaki
Kripke models, distributive lattices, and Medvedev degrees
S. Terwijn
An institution-independent proof of the Beth definability theorem
M. Aiguier and F. Barbier
The lattice of subvarieties of the variety defined by externally compatible identities of Abelian groups of exponent n
K. Gajewska-Kurdziel and K. Mruczek-Nasieniewska
A splitting logic in NExt(KTB)
Y. Miyazaki
Necessity and relative contingency
C. Pizzi
Joseph Y. Halpern, Reasoning about uncertainty
I. Kozine
Patrick Blackburnand Johan Bos, Representation and inference for natural language
A. Søgaard
Edwin D. Mares, Relevant logic—a philosophical interpretation
R. Kahle
John Woods, Paradox and paraconsistency: conflict resolution in the abstract sciences
A. D. Irvine
Vol. 86 No. 1
Articles
Definability and invariance
N. C. A. da Costa and A. A. M. Rodrigues
Duality for double quasioperator algebras via their canonical extensions
M. Gehrke and H. A. Priestley
Multivalued logic to transform potential into actual objects
G. Gerla
Consistency defaults
P. Liberatore
An infinitary extension of Jankov’s theorem
Y. Tanaka
Book reviews
L. Birkedal
G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. W. Mislove and D. S. Scott, Continuous lattices and domains
U. Berger
Vincent F. Hendricks, Mainstream and formal epistemology
P. Gochet
S. Barry Cooper, Computability theory
L. Kristiansen
Vol. 86 No. 2
Introduction
B. Fitelson
Articles
Fitch’s paradox and probabilistic antirealism
I. Douven
What are degrees of belief?
L. Eriksson and A. Hájek
Attitudes toward epistemic risk and the value of experiments
D. Fallis
The quantitative/qualitative watershed for rules of uncertain inference
J. Hawthorne and D. Makinson
The consistency argument for ranking functions
F. Huber
Explication defended
P. Maher
The Smith–Walley interpretation of subjective probability: an appreciation
C. G. Wagner
Vol. 86 No. 3
Introduction
B. Fitelson
Articles
Knowing and supposing in games of perfect information
H. L. Arló-Costa and C. Bicchieri
Temporal interaction of information and belief
G. Bonanno
Games with zero-knowledge signaling
E. Epsen
Collective action as individual choice
Z. Ernst and S. R. Chant
Understanding the Brandenburger–Keisler paradox
E. Pacuit
Distributed knowability and Fitch’s paradox
R. Palczewski
The cognitive relation in a formal setting
J. Wolenski
Theory and Practice of Logic Programming
Vol. 7 No. 5
Articles
Incremental copying garbage collection for WAM-based Prolog systems
R. Vandeginste and B. Demoen
Constraint functional logic programming over finite domains
A. J. Fernández, M. T. Hortalá-González, F. Sáenz-Pérez and R. del Vado Vírseda
Decomposable theories
K. Djelloul
Vol. 7 No. 6
Articles
PALS: efficient or-parallel execution of Prolog on Beowulf clusters
E. Pontelli, K. Villaverde, H.-F. Guo and G. Gupta
Automated verification of weak equivalence within the SMODELS system
T. Janhunen and E. Oikarinen
Propositional theories are strongly equivalent to logic programs
P. Cabalar and P. Ferraris
User Modeling and User-Adapted Interaction
Vol. 17 No. 4
Articles
Navigation behavior models for link structure optimization
V. Hollink, M. van Someren and B. J. Wielinga
Adaptive feedback generation to support teachers in web-based distance education
E. M. Kosba, V. Dimitrova and R. D. Boyle
Modeling the progression of Alzheimer’s disease for cognitive assistance in smart homes
A. Serna, H. Pigot and V. Rialle
Vol. 17 No. 5
Articles
Inferences, suppositions and explanatory extensions in argument interpretation
S. George, I. Zukerman and M. Niemann
Predicting time-sharing in mobile interaction
M. Miettinen and A. Oulasvirta
Editorial Note
A. Kobsa
