Sciweavers

1121 search results - page 75 / 225
» Logics of Complementarity in Information Systems
Sort
View
ICIP
2006
IEEE
14 years 10 months ago
Segmentation and Fuzzy-Logic Classification of M-FISH Chromosome Images
Multicolor fluorescence in-situ hybridization (M-FISH) technique provides color karyotyping that allows simultaneous analysis of numerical and structural abnormalities of whole hu...
Hyohoon Choi, Kenneth R. Castleman, Alan C. Bovik
SIGMOD
2006
ACM
156views Database» more  SIGMOD 2006»
14 years 9 months ago
Data delivery in a service-oriented world: the BEA aquaLogic data services platform
"Wow. I fell asleep listening to SOA music, and when I woke up, I couldn't remember where I'd put my data. Now what?" Has this happened to you? With the new pu...
Michael J. Carey
JELIA
2004
Springer
14 years 2 months ago
Towards a Logical Analysis of Biochemical Pathways
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
Patrick Doherty, Steve Kertes, Martin Magnusson, A...
CLIMA
2004
13 years 10 months ago
Verifying Protocol Conformance for Logic-Based Communicating Agents
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
AI
2000
Springer
13 years 8 months ago
Using temporal logics to express search control knowledge for planning
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...
Fahiem Bacchus, Froduald Kabanza