Sciweavers

2638 search results - page 335 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
BMCBI
2007
143views more  BMCBI 2007»
15 years 6 months ago
An adaptive bin framework search method for a beta-sheet protein homopolymer model
Background: The problem of protein structure prediction consists of predicting the functional or native structure of a protein given its linear sequence of amino acids. This probl...
Alena Shmygelska, Holger H. Hoos
ER
2005
Springer
137views Database» more  ER 2005»
16 years 1 days ago
An Approach to Broaden the Semantic Coverage of ACL Speech Acts
Current speech-act based ACLs specify domain-independent information about communication and relegate domain-dependent information to an unspecified content language. This is reas...
Hong Jiang, Michael N. Huhns
AAAI
2007
15 years 8 months ago
Recognition of Hand Drawn Chemical Diagrams
Chemists often use hand-drawn structural diagrams to capture and communicate ideas about organic compounds. However, the software available today for specifying these structures t...
Tom Y. Ouyang, Randall Davis
ICALP
2007
Springer
16 years 21 days ago
Modular Algorithms for Heterogeneous Modal Logics
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
Lutz Schröder, Dirk Pattinson
HCI
2009
15 years 4 months ago
The Five Commandments of Activity-Aware Ubiquitous Computing Applications
Recent work demonstrates the potential for extracting patterns from users' behavior as detected by sensors. Since there is currently no generalized framework for reasoning abo...
Nasim Mahmud, Jo Vermeulen, Kris Luyten, Karin Con...