2455 search results - page 235 / 491 » Graphical abstract help |
134
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
127
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a discriminatively trained model for joint modelling of object class labels (e.g. “person”, “dog”, “chair”, etc.) and their visual attributes (e.g....
141
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
102
Voted
PG
2003
IEEE
15 years 10 months ago
2003
IEEE
The notable amount and variation of current techniques in non-photorealistic rendering (NPR) indicates a level of maturity whereby the categorization of algorithms has become poss...
142
Voted
BIRTHDAY
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...