3994 search results - page 426 / 799 » A Linear Logical Framework |
216
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper presents an approach to implement virtual fixtures for surgical robot assistants. Our approach uses a weighted, multi-objective (both linear and nonlinear) constrai...
179
click to vote
DATE
2005
IEEE
16 years 1 months ago
2005
IEEE
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...
212
click to vote
CP
2005
Springer
16 years 1 months ago
2005
Springer
We consider the problem of encoding Boolean cardinality constraints in conjunctive normal form (CNF). Boolean cardinality constraints are formulae expressing that at most (resp. at...
193
click to vote
ICIC
2005
Springer
16 years 1 months ago
2005
Springer
Stream Control Transmission Protocol (SCTP) is a new end-to-end transport protocol, which can be used to support the mobility of mobile terminals. This paper describes a framework ...
206
click to vote
MEMBRANE
2004
Springer
16 years 1 months ago
2004
Springer
Some computational aspects and behavioral patterns of P systems are considered, emphasizing dynamical properties that turn useful in characterizing the behavior of biological and b...