Sciweavers

11573 search results - page 2056 / 2315
» Designing Relational Databases
Sort
View
ACTA
2010
109views more  ACTA 2010»
15 years 4 months ago
On regular temporal logics with past
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
Christian Dax, Felix Klaedtke, Martin Lange
AEI
2010
126views more  AEI 2010»
15 years 4 months ago
Engineering intelligent information-processing systems with CAST
The CoSy Architecture Schema Toolkit (CAST) is a new software toolkit, and related processing paradigm, which supports the construction and exploration of information-processing a...
Nick Hawes, Jeremy Wyatt
AIL
2007
104views more  AIL 2007»
15 years 4 months ago
Commonsense Causal Explanation in a Legal Domain
In this paper, we present an approach to commonsense causal explanation of stories that can be used for automatically determining the liable party in legal case descriptions. The a...
Rinke Hoekstra, Joost Breuker
AR
2008
134views more  AR 2008»
15 years 4 months ago
Human Perception of Pneumatic Tactile Cues
The ability to combine tactile, on-the-skin, sensory cues with the kinesthetic ones that widely available force-feedback devices are able to produce is a desirable one, opening th...
Yeongmi Kim, Ian Oakley, Jeha Ryu
BMCBI
2010
93views more  BMCBI 2010»
15 years 4 months ago
JunctionViewer: customizable annotation software for repeat-rich genomic regions
Background: Repeat-rich regions such as centromeres receive less attention than their gene-rich euchromatic counterparts because the former are difficult to assemble and analyze. ...
Thomas K. Wolfgruber, Gernot G. Presting
« Prev « First page 2056 / 2315 Last » Next »