Sciweavers

2171 search results - page 203 / 435
» A Generic Process Algebra
Sort
View
AB
2007
Springer
16 years 18 days ago
Analyzing Pathways Using SAT-Based Approaches
Abstract. A network of reactions is a commonly used paradigm for representing knowledge about a biological process. How does one understand such generic networks and answer queries...
Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, ...
ITS
2010
Springer
169views Multimedia» more  ITS 2010»
15 years 11 months ago
Automatic Question Generation for Literature Review Writing Support
This paper presents a novel Automatic Question Generation (AQG) approach that generates trigger questions as a form of support for students’ learning through writing. The approac...
Ming Liu, Rafael A. Calvo, Vasile Rus
ICCV
2009
IEEE
16 years 11 months ago
Is Dual Linear Self-Calibration Artificially Ambiguous?
This purely theoretical work investigates the problem of artificial singularities in camera self-calibration. Selfcalibration allows one to upgrade a projective reconstruction t...
Pierre Gurdjos, Adrien Bartoli, Peter Sturm
ICDT
2009
ACM
130views Database» more  ICDT 2009»
16 years 7 months ago
Towards a theory of search queries
The need to manage diverse information sources has triggered the rise of very loosely structured data models, known as "dataspace models." Such information management sy...
George H. L. Fletcher, Jan Van den Bussche, Dirk V...
COORDINATION
2004
Springer
15 years 11 months ago
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
Michael J. Butler, Carla Ferreira