886 search results - page 139 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
131
click to vote
APWEB
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Information sharing on distributed collaboration usually occurs in broad, highly dynamic network-based environments, and formally accessing the resources in a secure mann...
114
click to vote
JELIA
1990
Springer
15 years 5 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
— Oblique-viewing endoscopes (oblique scopes) are widely used in minimally invasive surgery. The viewing direction of an oblique endoscope can be changed by rotating the scope cy...
150
click to vote
JMLR
2008
15 years 1 months ago
2008
Log-linear and maximum-margin models are two commonly-used methods in supervised machine learning, and are frequently used in structured prediction problems. Efficient learning of...
109
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...