Sciweavers

9405 search results - page 1348 / 1881
» Computing a Model of Set Theory
Sort
View
DBPL
1991
Springer
98views Database» more  DBPL 1991»
15 years 10 months ago
Structural Recursion as a Query Language
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
Val Tannen, Peter Buneman, Shamim A. Naqvi
CDC
2008
IEEE
188views Control Systems» more  CDC 2008»
15 years 9 months ago
A method for stereo-vision based tracking for robotic applications
Vision based tracking of an object using the ideas of perspective projection inherently consists of nonlinearly modelled measurements although the underlying dynamic system that en...
Pubudu N. Pathirana, Adrian N. Bishop, Andrey V. S...
CORR
2008
Springer
90views Education» more  CORR 2008»
15 years 7 months ago
A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart...
António Morgado, João P. Marques Sil...
CORR
2007
Springer
80views Education» more  CORR 2007»
15 years 7 months ago
Uniqueness Domains in the Workspace of Parallel Manipulators
This work investigates new kinematic features of parallel manipulators. It is well known that parallel manipulators admit generally several direct kinematic solutions for a given ...
Philippe Wenger, Damien Chablat
JAIR
2010
82views more  JAIR 2010»
15 years 5 months ago
Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints
Coalitional games serve the purpose of modeling payoff distribution problems in scenarios where agents can collaborate by forming coalitions in order to obtain higher worths than...
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, F...
« Prev « First page 1348 / 1881 Last » Next »