Sciweavers

4255 search results - page 817 / 851
» Cover
Sort
View
FUIN
2007
134views more  FUIN 2007»
14 years 9 months ago
Complexity Issues in Multiagent Logics
Abstract. Our previous research presents a methodology of cooperative problem solving for beliefdesire-intention (BDI) systems, based on a complete formal theory called TEAMLOG. Th...
Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin...
FUIN
2007
108views more  FUIN 2007»
14 years 9 months ago
An Axiomatization of the Token Game Based on Petri Algebras
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
Eric Badouel, Jules Chenou, Goulven Guillou
PAMI
2008
202views more  PAMI 2008»
14 years 9 months ago
Metamorphs: Deformable Shape and Appearance Models
This paper presents a new deformable modeling strategy aimed at integrating shape and appearance in a unified space. If we think traditional deformable models as "active cont...
Xiaolei Huang, Dimitris N. Metaxas
NAR
2006
87views more  NAR 2006»
14 years 9 months ago
From genomics to chemical genomics: new developments in KEGG
The increasing amount of genomic and molecular information is the basis for understanding higherorder biological systems, such as the cell and the 15 organism, and their interacti...
Minoru Kanehisa, Susumu Goto, Masahiro Hattori, Ki...
85
Voted
IDA
2007
Springer
14 years 9 months ago
Removing biases in unsupervised learning of sequential patterns
Unsupervised sequence learning is important to many applications. A learner is presented with unlabeled sequential data, and must discover sequential patterns that characterize th...
Yoav Horman, Gal A. Kaminka