Sciweavers

1607 search results - page 273 / 322
» The existence of k-radius sequences
Sort
View
ATAL
2006
Springer
14 years 23 days ago
Verifying space and time requirements for resource-bounded agents
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
Natasha Alechina, Mark Jago, Piergiorgio Bertoli, ...
BIRTHDAY
2008
Springer
13 years 11 months ago
SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets
Abstract. Starting from existing spreadsheet software, like Lotus 1-23R , ExcelR , or Spreadsheet 2000R , we propose a sequence of enhancements to fully integrate constraint-based ...
Nachum Dershowitz, Claude Kirchner
DAWAK
2010
Springer
13 years 10 months ago
Experience in Extending Query Engine for Continuous Analytics
: Experience in Extending Query Engine for Continuous Analytics Qiming Chen, Meichun Hsu HP Laboratories HPL-2010-44 In-Database Stream Processing Combining data warehousing and s...
Qiming Chen, Meichun Hsu
BMCBI
2010
153views more  BMCBI 2010»
13 years 9 months ago
Analysis of substructural variation in families of enzymatic proteins with applications to protein function prediction
Background: Structural variations caused by a wide range of physico-chemical and biological sources directly influence the function of a protein. For enzymatic proteins, the struc...
Drew H. Bryant, Mark Moll, Brian Y. Chen, Viachesl...
BMCBI
2007
162views more  BMCBI 2007»
13 years 9 months ago
Bioclipse: an open source workbench for chemo- and bioinformatics
Background: There is a need for software applications that provide users with a complete and extensible toolkit for chemo- and bioinformatics accessible from a single workbench. C...
Ola Spjuth, Tobias Helmus, Egon L. Willighagen, St...