Sciweavers

260 search results - page 35 / 52
» Methods for exploring expressive stance
Sort
View
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
14 years 1 months ago
Coordination: Reo, Nets, and Logic
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
Dave Clarke
PKDD
2007
Springer
95views Data Mining» more  PKDD 2007»
14 years 1 months ago
Pruning Relations for Substructure Discovery of Multi-relational Databases
Multirelational data mining methods discover patterns across multiple interlinked tables (relations) in a relational database. In many large organizations, such a multi-relational ...
Hongyu Guo, Herna L. Viktor, Eric Paquet
TRIDENTCOM
2006
IEEE
14 years 1 months ago
Mapping Link SNRs of wireless mesh networks onto an indoor testbed
— As a platform for synergistic theory-experiment exploration in the field of wireless networking, wireless testbeds have been used to facilitate a broad range of research. From...
Jing Lei, Roy D. Yates, Larry J. Greenstein, Hang ...
AOSE
2005
Springer
14 years 1 months ago
Formalisation and Analysis of the Temporal Dynamics of Conditioning
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
Tibor Bosse, Catholijn M. Jonker, Sander A. Los, L...
COSIT
2005
Springer
125views GIS» more  COSIT 2005»
14 years 1 months ago
Landmark Extraction: A Web Mining Approach
Landmarks play crucial roles in human geographic knowledge. There has been much work focusing on the extraction of landmarks from geographic information systems (GIS) or 3D city mo...
Taro Tezuka, Katsumi Tanaka